Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions.
Dmitriy TraytelTobias NipkowPublished in: Arch. Formal Proofs (2014)
Keyphrases
- regular expressions
- decision procedures
- theorem proving
- modal logic
- pattern matching
- automated reasoning
- finite automata
- query language
- xml schema
- tree automata
- conjunctive queries
- semistructured data
- query containment
- query evaluation
- monadic second order logic
- matching algorithm
- regular path queries
- finite state machines
- satisfiability problem
- graph databases
- artificial intelligence
- context free grammars
- expressive power
- building blocks
- search algorithm
- keywords