Michael Brandt

	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)

Coauthor Index

1

Fritz Henglein

[2] [3]