Open AccessXPath Typing Using a Modal Logic with Converse for Finite Trees
Author(s) -
Pierre Genevès,
Nabil Layaïda,
Alan Schmitt
Publication year - 2007
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - xpath , decidability , satisfiability , computer science , modal logic , converse , algorithm , theoretical computer science , programming language , mathematics , xml , discrete mathematics , modal , xml validation , geometry , polymer chemistry , chemistry , operating system