Detection and optimization of suspension-free logic programs

Saumya K. Debray, David Gudeman, Peter Bigot

Research output: Contribution to journalArticlepeer-review

6 Scopus citations

Fingerprint

Dive into the research topics of 'Detection and optimization of suspension-free logic programs'. Together they form a unique fingerprint.

Mathematics