A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity.
Clemens GrabmayerPublished in: CALCO (2021)
Keyphrases
- regular expressions
- pattern matching
- finite automata
- semistructured data
- query language
- xml schema
- regular languages
- tree automata
- regular path queries
- matching algorithm
- query evaluation
- modal logic
- deterministic finite automata
- finite state machines
- data mining
- context free grammars
- graph databases
- wordnet
- data model
- high level