Login / Signup

Satisfying a Fragment of XQuery by Branching-Time Reduction.

Sylvain HalléRoger Villemaire
Published in: TIME (2008)
Keyphrases
  • query language
  • temporal logic
  • model checking
  • temporal reasoning
  • query processing
  • epistemic logic
  • databases
  • xml data