2005 | ||
---|---|---|
6 | EE | Etsuro Moriya, Dieter Hofbauer, Maria Huber, Friedrich Otto: On state-alternating context-free grammars. Theor. Comput. Sci. 337(1-3): 183-216 (2005) |
2002 | ||
5 | EE | Dieter Hofbauer, Maria Huber: Test Sets for the Universal and Existential Closure of Regular Tree Languages. Inf. Comput. 178(2): 465-498 (2002) |
1999 | ||
4 | EE | Dieter Hofbauer, Maria Huber: Test Sets for the Universal and Existential Closure of Regular Tree Languages. RTA 1999: 205-219 |
1994 | ||
3 | Dieter Hofbauer, Maria Huber, Gregory Kucherov: Some Results on Top-Context-Free Tree Languages. CAAP 1994: 157-171 | |
2 | Dieter Hofbauer, Maria Huber: Linearizing Term Rewriting Systems Using Test Sets. J. Symb. Comput. 17(1): 91-129 (1994) | |
1992 | ||
1 | Dieter Hofbauer, Maria Huber: Computing Linearizations Using Test Sets. CTRS 1992: 287-301 |
1 | Dieter Hofbauer | [1] [2] [3] [4] [5] [6] |
2 | Gregory Kucherov | [3] |
3 | Etsuro Moriya | [6] |
4 | Friedrich Otto | [6] |