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

Clemens Grabmayer

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

regular expressions
pattern matching
query language
semistructured data
finite automata
modal logic
tree automata
deterministic finite automata
xml schema
regular languages
finite state machines
query evaluation
regular path queries
np hard
decision procedures