XPath Query Processing in a Functional-Logic Language.
Jesús Manuel Almendros-JiménezRafael CaballeroYolanda García-RuizFernando Sáenz-PérezPublished in: Electron. Notes Theor. Comput. Sci. (2012)
Keyphrases
- dynamic logic
- proof theory
- programming language
- formal language
- language learning
- intuitionistic logic
- linear temporal logic
- conditional logic
- natural language
- predicate calculus
- modal logic
- logic programming
- representation language
- functional language
- highly expressive
- automated reasoning
- formal theory
- formal logic
- lambda calculus
- propositional dynamic logic
- classical logic
- data management
- modal operators
- linear logic
- logic programming language
- declarative semantics
- mathematical theory
- operational semantics
- specification language
- multi valued
- functional programs
- natural language processing
- query processing