Nominal C-Unification.

Mauricio Ayala-Rincón Washington de Carvalho Segundo Maribel Fernández Daniele Nantes-Sobrinho

Published in: LOPSTR (2017)

Keyphrases

higher order
theorem proving
knuth bendix
equational theories
probabilistic model
preprocessing
domain knowledge