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

Clemens Grabmayer Wan J. Fokkink

Published in: CoRR (2020)

Keyphrases

regular expressions
pattern matching
query language
finite automata
semistructured data
deterministic finite automata
xml schema
tree automata
regular path queries
matching algorithm
graph databases
finite state machines
regular languages
computational complexity
query evaluation