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