Travelled to:1 × Germany
1 × Spain
Collaborated with:∅
Talks about:regular (2) problem (2) express (2) membership (1) constraint (1) concaten (1) inclus (1) unord (1) numer (1)
Person: Dag Hovland
DBLP: Hovland:Dag
Contributed to:
20122010Wrote 2 papers:
- LATA-2012-Hovland #constraints #problem #regular expression
- The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints (DH), pp. 313–324.
- LATA-2010-Hovland #problem #regular expression
- The Inclusion Problem for Regular Expressions (DH), pp. 309–320.