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. |
|