Login / Signup

Towards First-Order Concurrent METATEM.

Mark Reynolds
Published in: Executable Modal and Temporal Logics (1993)
Keyphrases
  • concurrent execution
  • higher order
  • first order logic
  • real time
  • artificial neural networks
  • database
  • neural network
  • real world
  • genetic algorithm
  • petri net
  • quantifier elimination
  • term rewriting