Simultaneous Regid E-Unification Is Undecidable.

Anatoli Degtyarev Andrei Voronkov

Published in: CSL (1995)

Keyphrases

higher order
sufficient conditions
np complete
database
neural network
theorem proving
equational theories
learning algorithm
metadata
decision trees
database systems
multiscale
datalog programs