The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Documents on: ccs

PP92 1991 Paper in Conference Proceedings Ross,B; Smaill,AD
An Algebraic Semantics of Prolog Program Termination
RP905 1998 Research Paper Monroy-Borja,R; Bundy,A; Green,I
Observant: an Annotated Term-Rewriting System for Deciding Observation Congruence
RP488 1990 Research Paper Ross,B; Wilk,P
A Semantic Approach to Proving Prolog Transformations Using Cut

[Search These Pages] [DAI Home Page] [Comment]