A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity.

Clemens Grabmayer Wan J. Fokkink

Published in: LICS (2020)

Keyphrases

regular expressions
pattern matching
query language
semistructured data
finite automata
xml schema
regular languages
deterministic finite automata
matching algorithm
tree automata
regular path queries
finite state machines
data model
context free grammars
query evaluation
graph databases