Variant-based Equational Unification under Constructor Symbols.

Damián Aparicio-Sánchez Santiago Escobar Julia Sapiña

Published in: ICLP Technical Communications (2020)

Keyphrases

equational theories
theorem proving
theorem prover
first order logic
higher order
data sets
database
automated theorem proving
image processing
multi agent systems
mathematical expressions
function symbols
symbol recognition
real time
probabilistic model
data mining
finite alphabet