On the Unification of Term Schemata.

David M. Cerna Alexander Leitsch Anela Lolic

Published in: UNIF (2020)

Keyphrases

functional dependencies
theorem proving
databases
artificial intelligence
higher order
regularization term
level set