1989-12-01
On the declarative semantics of Horn Clause logic-based languages
Publication
Publication
CWI Quarterly , Volume 2 - Issue 4 p. 331- 344
Additional Metadata | |
---|---|
Stichting Mathematisch Centrum | |
CWI Quarterly | |
Palamidessi, C. (1989). On the declarative semantics of Horn Clause logic-based languages. CWI Quarterly, 2(4), 331–344. |