Unifying Nominal Unification.

Christophe Calvès

Published in: RTA (2013)

Keyphrases

theorem proving
higher order
equational theories
similarity measure
least squares
theorem prover
information retrieval