A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity.
Clemens GrabmayerPublished in: CoRR (2021)
Keyphrases
- regular expressions
- pattern matching
- semistructured data
- finite automata
- query language
- xml schema
- matching algorithm
- tree automata
- regular path queries
- query evaluation
- deterministic finite automata
- regular languages
- finite state machines
- graph databases
- building blocks
- text mining
- information extraction
- domain knowledge
- data mining