Login / Signup
The Suspension Calculus and its Relationship to Other Explicit Treatments of Substitution in Lambda Calculi
Andrew Gacek
Published in:
CoRR (2007)
Keyphrases
</>
qualitative spatial and temporal reasoning
qualitative spatial reasoning
fixed point
databases
data mining
data model
spatial relations
theorem proving
hybrid intelligent
qualitative spatial