Functional programming with sets
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 194-211
- https://doi.org/10.1007/3-540-18317-5_12
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Commutation, transformation, and terminationPublished by Springer Nature ,1986
- Termination orderings for associative-commutative rewriting systemsJournal of Symbolic Computation, 1985
- Semantic confluence tests and completion methodsInformation and Control, 1985
- Complexity of matching problemsPublished by Springer Nature ,1985
- Orderings for term-rewriting systemsTheoretical Computer Science, 1982
- Programming with EquationsACM Transactions on Programming Languages and Systems, 1982
- Parallel interpretation of logic programsPublished by Association for Computing Machinery (ACM) ,1981
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- An indeterminate constructor for applicative programmingPublished by Association for Computing Machinery (ACM) ,1980
- Negation as FailurePublished by Springer Nature ,1978