| |
| 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 | |
| 1 | Lauri Hella | [3] |