Equational logic as a programming language: Abstract
- 1 January 1985
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Implementation of an interpreter for abstract equationsPublished by Association for Computing Machinery (ACM) ,1984
- Programming with EquationsACM Transactions on Programming Languages and Systems, 1982