Login / Signup

Complete Proof System for QPTL.

Yonit KestenAmir Pnueli
Published in: J. Log. Comput. (2002)
Keyphrases
  • artificial intelligence
  • data sets
  • modal logic
  • databases
  • genetic algorithm
  • lower bound