| |
| 1990 | ||
|---|---|---|
| 9 | Hagen Huwig, Axel Poigné: A Note on Inconsistencies Caused by Fixpoints in a Cartesian Closed Category. Theor. Comput. Sci. 73(1): 101-112 (1990) | |
| 1987 | ||
| 8 | Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig: Diagonalizing over Deterministic Polynomial Time. CSL 1987: 1-16 | |
| 7 | Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig: Diagonalizations over Polynomial Time Computable Sets. Theor. Comput. Sci. 51: 177-204 (1987) | |
| 1982 | ||
| 6 | Hagen Huwig: Ein Modell des P=NP -Problems mit einer positiven Lösung. Acta Inf. 17: 221-243 (1982) | |
| 1981 | ||
| 5 | Hagen Huwig: A Definition of the P=NP-Problem in Categories. FCT 1981: 146-153 | |
| 1980 | ||
| 4 | Hagen Huwig, Axel Poigné: A criterion common to various continuous completions of albegras and X-categories. CLAAP 1980: 75-82 | |
| 3 | Hagen Huwig: Das P=NP-Problem in der Kategorie der partiellen Ordnungen mit 2-stelligen Suprema. GI Jahrestagung 1980: 351-364 | |
| 1977 | ||
| 2 | Hagen Huwig, Volker Claus: Das Äquivalenzproblem für spezielle klassen von Loop-1-programmen. Theoretical Computer Science 1977: 73-82 | |
| 1976 | ||
| 1 | Hagen Huwig: A Machine Independent Description of Complexity Classes, Definable by Nondeterministic as well as Determinsitic Turing Machines with Primitive Pecursove Tape or Time Bounds. MFCS 1976: 345-351 | |
| 1 | Klaus Ambos-Spies | [7] [8] |
| 2 | Volker Claus | [2] |
| 3 | Hans Fleischhack | [7] [8] |
| 4 | Axel Poigné | [4] [9] |