Login / Signup
Unification in Lambda-Calculi with if-then-else.
Michael Beeson
Published in:
CADE (1998)
Keyphrases
</>
higher order
sequent calculi
theorem proving
neural network
search engine
spatial relations
theorem prover
equational theories
qualitative spatial and temporal reasoning
social networks
information systems
reasoning problems
qualitative spatial reasoning
vague concepts
lambda calculus