First Order Paths in Ordered Trees

This publication has 9 references indexed in Scilit:

• Conjunctive queries over trees
  Published by Association for Computing Machinery (ACM) ,2004
• Conditional XPath, the first order complete XPath dialect
  Published by Association for Computing Machinery (ACM) ,2004
• XPath with Conditional Axis Relations
  Published by Springer Nature ,2004
• Structural Properties of XPath Fragments
  Published by Springer Nature ,2002
• First-order logic with two variables and unary temporal logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Efficient Algorithms for Processing XPath Queries
  Published by Elsevier ,2002
• Combining Horn rules and description logics in CARIN
  Artificial Intelligence, 1998
• The k-variable property is stronger than H-dimension k
  Journal of Philosophical Logic, 1997
• A proof system for finite trees
  Published by Springer Nature ,1996