A controlling scheme for Prolog through count terms

Young K. Nam*, Lawrence J. Henschen

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'A controlling scheme for Prolog through count terms'. Together they form a unique fingerprint.

Keyphrases

Computer Science