A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity.

Clemens Grabmayer

Published in: CoRR (2022)

Keyphrases

regular expressions
pattern matching
modal logic
finite automata
query language
semistructured data
regular languages
regular path queries
xml schema
matching algorithm
tree automata
query evaluation
deterministic finite automata
databases
np complete
graph databases
finite state machines