Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms.
David E. RydeheardJohn G. StellPublished in: Category Theory and Computer Science (1987)
Keyphrases
- theorem proving
- equational theories
- theorem prover
- automated theorem proving
- inference rules
- first order logic
- computationally efficient
- artificial intelligence
- significant improvement
- learning algorithm
- computationally expensive
- orders of magnitude
- proof search
- recently developed
- classification algorithm
- theoretical analysis
- higher order
- worst case
- evolutionary algorithm
- data structure
- machine learning
- combinatorial optimization
- computational cost
- genetic algorithm