Login / Signup

Complexity of Two-Variable Logic on Finite Trees.

Saguy BenaimMichael BenediktWitold CharatonikEmanuel KieronskiRastislav LenhardtFilip MazowieckiJames Worrell
Published in: ICALP (2) (2013)
Keyphrases
  • decision trees
  • database
  • worst case
  • programming language
  • logic programming
  • complexity analysis
  • automated reasoning
  • asynchronous circuits
  • data structure
  • data model
  • tree structure
  • classical logic
  • predicate logic