1990
From failure to succes: comparing a denotational and a declarative semantics for Horn Clause Logic
Publication
Publication
Additional Metadata | |
---|---|
CWI | |
Department of Computer Science [CS] ; CS-R 9019 | |
Organisation | Computational models |
de Boer, F., Kok, J., Palamidessi, C., & Rutten, J. (1990). From failure to succes: comparing a denotational and a declarative semantics for Horn Clause Logic. Department of Computer Science [CS]. CWI. |