Division of Informatics
Forrest Hill & 80 South Bridge
| 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]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}