Definite clause programs are canonical (over a suitable domain)

Howard A. Blair, Allen L. Brown

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Definite clause programs are canonical (over a suitable domain)'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science