Login / Signup

Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow Term Rewrite Systems.

Guillem GodoyEduard Huntingford
Published in: RTA (2007)
Keyphrases
  • term rewrite systems
  • transitive closure
  • state space
  • natural language processing
  • expressive power
  • database
  • information extraction
  • response time
  • database management systems
  • first order logic
  • epipolar geometry