Implementation of subset-equational programs
- 1 April 1992
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 12 (4) , 299-324
- https://doi.org/10.1016/0743-1066(92)90005-n
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Functional programming with setsPublished by Springer Nature ,1987
- Complexity of matching problemsPublished by Springer Nature ,1985
- Miranda: A non-strict functional language with polymorphic typesLecture Notes in Computer Science, 1985
- Equational logic as a programming language: AbstractLecture Notes in Computer Science, 1985
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976