Henrik Imhof

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - 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

	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]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page