|
1 |
Compilation of the type view in Π [Pi]
Budach, Lothar. - Berlin : Fraunhofer-Ges., Inst. für Software- und Systemtechnik, 1992
|
|
|
|
2 |
Fundamentals of computation theory
Berlin : Springer, 1991
|
|
|
|
3 |
Neural informatics
Berlin : IRR, 1989
|
|
|
|
4 |
Algebraic and topological properties of finite partially ordered sets
Leipzig : Teubner, 1988, 1. Aufl.
|
|
|
|
5 |
Topological properties of the graph accessibility problem
Budach, Lothar. - Berlin : Karl-Weierstrass-Inst. für Mathematik, 1988
|
|
|
|
6 |
Klassifizierungsprobleme und das Verhältnis von deterministischer und nichtdeterministischer Raumkomplexität
Budach, Lothar. - Berlin : Sekt. Mathematik d. Humboldt-Univ., 1985
|
|
|
|
7 |
1-counter [One-counter] automata in circles
Budach, Lothar. - Berlin : Humboldt-Univ., Sekt. Mathematik, 1982
|
|
|
|
8 |
Umwelten und Automaten in Umwelten
Budach, Lothar. - Berlin : Sektion Mathematik d. Humboldt-Univ., 1980
|
|
|
|
9 |
Fundamentals of computation theory / 1979. Proceedings of the Conference on Algebraic, Arithmetic, and Categorial Methods in Computation Theory
1979
|
|
|
|
10 |
Automaten und Funktoren
Budach, Lothar. - Berlin : Akademie-Verlag, 1975
|
|
Administration
