A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions.
Tobias NipkowMaximilian P. L. HaslbeckPublished in: TABLEAUX (2013)
Keyphrases
- regular expressions
- decision procedures
- query containment
- regular path queries
- pattern matching
- automated reasoning
- modal logic
- theorem proving
- conjunctive queries
- query language
- semistructured data
- xml schema
- regular languages
- tight complexity bounds
- finite state machines
- query evaluation
- deterministic finite automata
- graph databases
- context free grammars
- model theoretic
- satisfiability problem
- matching algorithm
- temporal logic
- query answering
- integrity constraints
- data analysis