Login / Signup

Two-Variable Logic with Two Order Relations - (Extended Abstract).

Thomas SchwentickThomas Zeume
Published in: CSL (2010)
Keyphrases
  • extended abstract
  • databases
  • knowledge base
  • image sequences
  • machine learning
  • information systems
  • artificial neural networks
  • logic programming
  • expressive power