| |
| 1998 | ||
|---|---|---|
| 3 | Michael Brandt, Fritz Henglein: Coinductive Axiomatization of Recursive Type Equality and Subtyping. Fundam. Inform. 33(4): 309-338 (1998) | |
| 1997 | ||
| 2 | Michael Brandt, Fritz Henglein: Coinductive Axiomatization of Recursive Type Equality and Subtyping. TLCA 1997: 63-81 | |
| 1972 | ||
| 1 | Michael Brandt: Minimisierung nicht-deterministischer Akzeptoren. Elektronische Informationsverarbeitung und Kybernetik 8(2/3): 87-97 (1972) | |
| 1 | Fritz Henglein | [2] [3] |