Henrik Imhof

Publication Activity (10 Years)

Years Active: 1996-1999
Publications (10 Years): 0

Publications

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