D. Hofbauer

发表

Hans Zantema, Dieter Hofbauer, Alfons Geser, 2005, Inf. Comput..
D. Hofbauer, Etsuro Hofbauer, Dieter Huber, 2017 .
Dieter Hofbauer, Maria Huber, D. Hofbauer, 1994, J. Symb. Comput..
Dieter Hofbauer, Maria Huber, D. Hofbauer, 1992, CTRS.
Dieter Hofbauer, D. Hofbauer, 2001, Applicable Algebra in Engineering, Communication and Computing.
Dieter Hofbauer, D. Hofbauer, 2001, RTA.
Dieter Hofbauer, Aart Middeldorp, Christian Sternagel, 2009, SOFSEM.
Friedrich Otto, Etsuro Moriya, Dieter Hofbauer, 2005, Theor. Comput. Sci..
Dieter Hofbauer, Alfons Geser, Johannes Waldmann, 2005, Journal of Automated Reasoning.
Dieter Hofbauer, Johannes Waldmann, D. Hofbauer, 2004, Theor. Comput. Sci..
Dieter Hofbauer, Clemens Lautemann, D. Hofbauer, 1989, RTA.
Dieter Hofbauer, Alfons Geser, Johannes Waldmann, 2003, Applicable Algebra in Engineering, Communication and Computing.