Travelled to:1 × Italy
Collaborated with:D.Hofbauer
Talks about:existenti (1) univers (1) regular (1) languag (1) closur (1) tree (1) test (1) set (1)
Person: Maria Huber
DBLP: Huber:Maria
Contributed to:
Wrote 1 papers:
- RTA-1999-HofbauerH #testing
- Test Sets for the Universal and Existential Closure of Regular Tree Languages (DH, MH), pp. 205–219.












