Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses

Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten. Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses. In Antoni Kreczmar, Grazyna Mirkowska, editors, Mathematical Foundations of Computer Science 1989, MFCS 89, Porabka-Kozubnik, Poland, August 28 - September 1, 1989, Proceedings. Volume 379 of Lecture Notes in Computer Science, pages 165-176, Springer, 1989.

Abstract

Abstract is missing.