Subtree Replacement Systems: A Unifying Theory for Recursive Equations, LISP, Lucid and Combinatory Logic
Mike O'DonnellPublished in: STOC (1977)
Keyphrases
- formal theory
- automated reasoning
- learning theory
- management system
- asynchronous circuits
- set theory
- complex systems
- computational models
- topics covered include
- knowledge base
- computer algebra
- truth maintenance systems
- linear systems
- mathematical models
- partial order
- mathematical model
- theoretical framework
- computational model
- knowledge based systems
- intelligent systems
- distributed systems
- programming language
- general purpose