Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020.

Published in: UNIF (2020)

Keyphrases

higher order
theorem proving
equational theories
automated theorem proving
databases
machine learning
information systems
case study
database systems
email
software engineering
data management