MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Henrik Imhof" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Fixed Point Logics, Generalized Quantifiers, and Oracles
by Henrik Imhof — 1995
…Fixed Point Logics, Generalized Quantifiers, and Oracles Henrik Imhof, Mathematisches Institut…
Cited by 1 (1 self) – Add To MetaCart

Enhancing Fixed Point Logic With Cardinality Quantifiers
by Lauri Hella, Henrik Imhof — 1996
….O. Box 4 (Yliopistonkatu 5) 00014 Univ. of Helsinki Finland hella@(email omitted); Henrik Imhof Dept…
Add To MetaCart

The Structure of
by Fixed--Point Logics Martin, Martin Grohe, Zweiter Referent, Professor Jorg Flum, Anna Fukshansky, Nina Gleichmann, Lauri Hella, Ivo Herzog, Ian Hodkinson, Henrik Imhof, Volker Remmert — 1994
… Herwig, Ivo Herzog, Ian Hodkinson, Henrik Imhof, and Volker Remmert. v Zusammenfassung Seit Immerman…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB