1992
From failure to success: comparing a denotational and a declarative semantics for Horn clause logic
Publication
Publication
Theoretical Computer Science , Volume 101 - Issue 2 p. 239- 263
Presented at the
BCS-FACS International Workshop on Semantics for Concurrency, Leicester
Additional Metadata | |
---|---|
, | |
elsevier | |
Theoretical Computer Science | |
BCS-FACS International Workshop on Semantics for Concurrency | |
Organisation | Computer Security |
de Boer, F., Kok, J., Palamidessi, C., & Rutten, J. (1992). From failure to success: comparing a denotational and a declarative semantics for Horn clause logic. In Theoretical Computer Science (Vol. 101, pp. 239–263). elsevier. |