Modular termination of basic narrowing and equational unification.
María AlpuenteSantiago EscobarJosé IborraPublished in: Log. J. IGPL (2011)
Keyphrases
- theorem proving
- equational theories
- term rewriting
- theorem prover
- rewrite systems
- knuth bendix
- inference rules
- first order logic
- automated theorem proving
- modular structure
- higher order
- modular neural network
- function symbols
- search engine
- modular neural networks
- image processing
- computer vision
- digital libraries
- data structure
- three dimensional