Unification for \lambda -calculi Without Propagation Rules.

Flávio L. C. de Moura

Published in: ICTAC (2016)

Keyphrases

theorem proving
higher order
equational theories
fixed point
sequent calculi
qualitative spatial and temporal reasoning
feature selection
database systems
fuzzy logic
spatial relations
theorem prover
vague concepts
real time
search algorithm