On Regular Expression Proof Complexity.

Simon Beier Markus Holzer

Published in: DLT (2017)

Keyphrases

regular expressions
pattern matching
finite automata
query language
matching algorithm
string matching
databases
query evaluation
static analysis
database
information extraction
data management
data integration
decision problems