Henrik Imhof

	1999
4		Henrik Imhof: Expert System Technology in Aircraft Fleet Management - The Development of SAREX. XPS 1999: 186-192
	1998
3		Lauri Hella, Henrik Imhof: Enhancing Fixed Point Logic with Cardinality Quantifiers. J. Log. Comput. 8(1): 71-86 (1998)
	1997
2		Henrik Imhof: Fixed-Point Logics, Generalized Quantifiers, and Oracles. J. Log. Comput. 7(3): 405-425 (1997)
	1996
1		Henrik Imhof: Computational Aspects of Arity Hierarchies. CSL 1996: 211-225

Coauthor Index

1

Lauri Hella

[3]