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

• Authors:

• Frank S. de Boer;Joost N. Kok;Catuscia Palamidessi;Jan J. M. M. Rutten

• Affiliations:

• -;-;-;-

• Venue:
• MFCS '89 Proceedings on Mathematical Foundations of Computer Science 1989
• Year:
• 1989