From prolog algebras towards WAM-A mathematical study of implementation
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A formal operational semantics for languages of type Prolog IIIPublished by Springer Nature ,1991
- From prolog algebras towards WAM-A mathematical study of implementationPublished by Springer Nature ,1991
- Computer Science LogicPublished by Springer Nature ,1991
- Algebraic operational semantics and OccamPublished by Springer Nature ,1990
- A logical operational semantics of full PrologPublished by Springer Nature ,1990
- A logical operational semantics of full PrologPublished by Springer Nature ,1990
- Algebraic operational semantics and modula-2Lecture Notes in Computer Science, 1988