E.P. de Vink, "Comparative Semantics for Prolog with Cut," Report IR-166, Vrije Universiteit, Amsterdam (1988). To appear in Science of Computer Programming Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Retractions in Comparing Prolog Semantics - de Bruin, de Vink (1989) (2 citations) Self-citation (De vink) (Correct)
Denotational Semantics for Unguarded Recursion: The Demonic Case - de Bruin, de Vink (1990) Self-citation (De vink) (Correct)
Transition System Specifications in Stalk Format With.. - van Oostrom, de Vink (1994) (1 citation) Self-citation (De vink) (Correct)
Asynchronous Rendez-Vous in Distributed Logic Programming - Eliëns, de Vink (1993) Self-citation (De vink) (Correct)
Metric Predicate Transformers: Towards a Notion of.. - Bonsangue, de Vink, Kok (1994) Self-citation (De vink) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC