dblp.uni-trier.dewww.uni-trier.de

Henrik Imhof

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

1Lauri Hella [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)