The Undecidability of Simultaneous Rigid E-Unification.

Anatoli Degtyarev Andrei Voronkov

Published in: Theor. Comput. Sci. (1996)

Keyphrases

description logics
probabilistic planning
higher order
equational theories
similarity measure
databases
search engine
pairwise
theorem proving