Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification.

Gert Smolka Tobias Tebbi

Published in: RTA (2013)

Keyphrases

higher order
theorem proving
knuth bendix
real time
preprocessing
automated theorem proving
machine learning
computer vision
information systems
web pages
image processing
decision trees
artificial neural networks
first order logic
deductive databases