dblp.uni-trier.dewww.uni-trier.de

Maria Huber Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2005
6EEEtsuro Moriya, Dieter Hofbauer, Maria Huber, Friedrich Otto: On state-alternating context-free grammars. Theor. Comput. Sci. 337(1-3): 183-216 (2005)
2002
5EEDieter Hofbauer, Maria Huber: Test Sets for the Universal and Existential Closure of Regular Tree Languages. Inf. Comput. 178(2): 465-498 (2002)
1999
4EEDieter Hofbauer, Maria Huber: Test Sets for the Universal and Existential Closure of Regular Tree Languages. RTA 1999: 205-219
1994
3EEDieter 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

Coauthor Index

1Dieter Hofbauer [1] [2] [3] [4] [5] [6]
2Gregory Kucherov [3]
3Etsuro Moriya [6]
4Friedrich Otto [6]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)