Henrik Imhof

According to our database¹, Henrik Imhof authored at least 4 papers between 1996 and 1999.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1999

Expert System Technology in Aircraft Fleet Management - The Development of SAREX.

[BibT_eX]

[DOI]

Proceedings of the XPS-99: Knowledge-Based Systems, 1999

1998

Enhancing Fixed Point Logic with Cardinality Quantifiers.

[BibT_eX]

[DOI]

J. Log. Comput., 1998

1997

Fixed-Point Logics, Generalized Quantifiers, and Oracles.

[BibT_eX]

[DOI]

J. Log. Comput., 1997

1996

Computational Aspects of Arity Hierarchies.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 10th International Workshop, 1996