Constraint Automata and the Complexity of Recursive Subtype Entailment.

Fritz Henglein Jakob Rehof

Published in: ICALP (1998)

Keyphrases

regular expressions
computational complexity
worst case
np complete
space complexity
finite automata
database
cellular automata