An Equational Axiomatization of Bisimulation over Regular Expressions.
Flavio CorradiniRocco De NicolaAnna LabellaPublished in: J. Log. Comput. (2002)
Keyphrases
- regular expressions
- theorem proving
- pattern matching
- query language
- semistructured data
- finite automata
- tree automata
- xml schema
- situation calculus
- regular languages
- theorem prover
- horn clauses
- matching algorithm
- regular path queries
- deterministic finite automata
- finite state machines
- query evaluation
- integrity constraints
- expressive power
- frequent sequences
- computational complexity
- decision procedures
- first order logic