Jürgen Avenhaus

发表

Jürgen Avenhaus, Dieter Wissmann, J. Avenhaus, 1989, ISSAC '89.

Jürgen Avenhaus, J. Avenhaus, 2004, IJCAR.

Joachim Steinbach, Jürgen Avenhaus, R. Göbel, 1988 .

David A. Plaisted, Jürgen Avenhaus, 2004, Journal of Automated Reasoning.

Jürgen Avenhaus, Klaus Becker, J. Avenhaus, 1994, STACS.

Jürgen Avenhaus, Klaus Madlener, 1978, Arch. Math. Log..

Jürgen Avenhaus, Carlos Loría-Sáenz, J. Avenhaus, 1994, CCL.

Joachim Steinbach, Jürgen Avenhaus, Klaus Madlener, 1989, RTA.

Jürgen Avenhaus, 1986, J. Symb. Comput..

Jürgen Müller, Jörg Denzinger, Jürgen Avenhaus, 1989, RTA.

Jürgen Avenhaus, Klaus Becker, J. Avenhaus, 1999, J. Symb. Comput..

Claus-Peter Wirth, Jürgen Avenhaus, Ulrich Kühler, 2003, CADE.

Aart Middeldorp, Jürgen Avenhaus, Toshiyuki Yamada, 1997, Theor. Comput. Sci..

Joachim Steinbach, Richard Göbel, Bernhard Gramlich, 1987, CTRS.

Jörg Denzinger, Jürgen Avenhaus, J. Avenhaus, 1993, RTA.

Jürgen Avenhaus, Klaus Madlener, 1975, Automata Theory and Formal Languages.

Thomas Hillenbrand, Bernd Löchner, Jürgen Avenhaus, 2003, J. Symb. Comput..

Jürgen Avenhaus, Klaus Madlener, 1996, Informatik Forschung und Entwicklung.

Ronald V. Book, Jürgen Avenhaus, Craig C. Squier, 1984, RAIRO Theor. Informatics Appl..

Jürgen Avenhaus, Klaus Madlener, 2004, Acta Informatica.

Bernd Löchner, Jürgen Avenhaus, 2001, IJCAR.

Jürgen Avenhaus, Klaus Madlener, 1984, Theor. Comput. Sci..

Jürgen Avenhaus, Klaus Madlener, 1984, Theor. Comput. Sci..

Jürgen Avenhaus, Norbert Heck, 1985, European Conference on Computer Algebra.

Wolfgang Küchlin, Carsten Sinz, Jörg Denzinger, 2001, PPAM.

Jürgen Avenhaus, Klaus Madlener, 1997, Advances in Algorithms, Languages, and Complexity.

Aart Middeldorp, Jürgen Avenhaus, Toshiyuki Yamada, 1997, TAPSOFT.

Norbert Ritter, Michael M. Richter, Lothar Litz, 1998, Informatik Forschung und Entwicklung.

Matthias Fuchs, Jörg Denzinger, Jürgen Avenhaus, 1995, RTA.

Jürgen Avenhaus, Klaus Madlener, 1981, Theoretical Computer Science.

Jürgen Avenhaus, Carlos Loría-Sáenz, J. Avenhaus, 1994, LPAR.

Rüdiger Göbel, Jürgen Avenhaus, Klaus Madlener, 1986, CADE.

Jürgen Avenhaus, Klaus Madlener, J. Avenhaus, 1977, Acta Informatica.

Jürgen Avenhaus, J. Avenhaus, 1971, Computing.

Wolfgang Küchlin, Carsten Sinz, Jörg Denzinger, 2002 .

Friedrich Otto, Jürgen Avenhaus, Klaus Madlener, 1986 .

Joachim Steinbach, Jürgen Avenhaus, Carlos Loría-Sáenz, 1999 .