Oriented equational clauses as a programming language
- 1 January 1984
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 162-173
- https://doi.org/10.1007/3-540-13345-3_15
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Rewrite methods for clausal and non-clausal theorem provingPublished by Springer Nature ,2006
- Associative-Commutative UnificationPublished by Springer Nature ,1984
- Programming with EquationsACM Transactions on Programming Languages and Systems, 1982
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- Automated Theorem-Proving for Theories with Simplifiers Commutativity, and AssociativityJournal of the ACM, 1974
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965