Cyclic Lambda Calculi.

Zena M. Ariola Stefan Blom

Published in: TACS (1997)

Keyphrases

real time
neural network
artificial intelligence
qualitative spatial and temporal reasoning
fixed point
reasoning problems
sequent calculi
spatial relations
qualitative spatial reasoning