Scoping constructs in logic programming: Implementation problems and their solution

Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon

Research output: Contribution to journal › Article › peer-review

11 Scopus citations

Fingerprint

Dive into the research topics of 'Scoping constructs in logic programming: Implementation problems and their solution'. Together they form a unique fingerprint.

Mathematics