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] |