Sign in

Cyclic Lambda Calculi.

Zena M. AriolaStefan 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