Login / Signup

Two-Variable Logic with Two Order Relations

Thomas SchwentickThomas Zeume
Published in: Log. Methods Comput. Sci. (2012)
Keyphrases
  • real time
  • website
  • modal logic
  • database
  • neural network
  • search engine
  • first order logic