XPath with Conditional Axis Relations

This publication has 22 references indexed in Scilit:

• Design and synthesis of synchronization skeletons using branching time temporal logic
  Published by Springer Nature ,2005
• A Modal Perspective on Path Constraints
  Journal of Logic and Computation, 2003
• The complexity of XPath query evaluation
  Published by Association for Computing Machinery (ACM) ,2003
• Structural Properties of XPath Fragments
  Published by Springer Nature ,2002
• Efficient Algorithms for Processing XPath Queries
  Published by Elsevier ,2002
• Reachability logic: an efficient fragment of transitive closure logic
  Logic Journal of the IGPL, 2000
• Representing and reasoning on XML documents: a description logic approach
  Journal of Logic and Computation, 1999
• On the temporal analysis of fairness
  Published by Association for Computing Machinery (ACM) ,1980
• Propositional dynamic logic of regular programs
  Journal of Computer and System Sciences, 1979
• Tree acceptors and some of their applications
  Journal of Computer and System Sciences, 1970