![]() | ![]() |
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] |