Proceedings of the 28th International Workshop on Unification, UNIF 2014, Vienna, Austria, July 13, 2014.

Published in: UNIF (2014)

Keyphrases

theorem proving
hong kong
higher order
definition language
equational theories
knuth bendix
neural network
search algorithm
databases
information retrieval
information systems
case study
pairwise
theorem prover
automated theorem proving