| 1. |
Hotz, Günter
(2003)
A remark on nondecidabilities of initial value problems of ODEs
Report (Bericht)
|
| 2. |
Gärtner, Tobias ; Hotz, Günter
(2002)
Approximation von Folgen durch berechenbare Folgen : eine neue Variante der Chaitin-Kolmogorov-Komplexität
Saarbrücken, 2000
Report (Bericht)
|
| 3. |
Hotz, Günter
(1999)
A graph based parsing algorithm for context-free languages
Saarbrücken, 1999
Report (Bericht)
|
| 4. |
Hotz, Günter
(1999)
Darstellung von Schaltfunktionen unter Ausnutzung von Symmetrien boolescher Algebren
Saarbrücken, 1999
Report (Bericht)
|
| 5. |
Gamkrelidze, Alexander ; Hotz, Günter ; Zhu, Bin
(1998)
Designing correct recursive circuits using semantics-preserving transformations of nets
Report (Bericht)
|
| 6. |
Hotz, Günter ; Chadzelek, Thomas
(1997)
Analytic machines
Report (Bericht)
|
| 7. |
Chadzelek, Thomas ; Hotz, Günter ; Schömer, Elmar
(1995)
Heuristic motion planning with many degrees of freedom
Report (Bericht)
|
| 8. |
Eckstein, Jens ; Hotz, Günter ; Schömer, Elmar
(1995)
Heuristische Bewegungsplanungsstrategien im IR^3
Report (Bericht)
|
| 9. |
Guan, Yonggang ; Hotz, Günter ; Reichert, A.
(1992)
Tree grammars with multilinear interpretation
Saarbrücken, 1992
Report (Bericht)
|
| 10. |
Hotz, Günter ; Becker, Bernd ; Kolla, Reiner ; Molitor, Paul
(1985)
Ein logisch-topologischer Kalkül zur Konstruktion von integrierten Schaltkreisen
Report (Bericht)
|
