Regular Expressions with Numerical Constraints and Automata with Counters.

Dag Hovland

Browse the full ICTAC paper archive.