1989
Control flow versus logic: a denotational and a declarative model for guarded Horn clauses
Publication
Publication
Presented at the
International Symposium on Mathematical Foundations of Computer Science, Porabka-Kozubnik, Poland
Additional Metadata | |
---|---|
, , | |
Springer | |
Lecture Notes in Computer Science | |
International Symposium on Mathematical Foundations of Computer Science | |
Organisation | Computer Security |
de Boer, F., Kok, J., Palamidessi, C., & Rutten, J. (1989). Control flow versus logic: a denotational and a declarative model for guarded Horn clauses. In Mathematical Foundations of Computer Science 1989 (MFCS 14) (pp. 165–176). Springer. |