Fixed point logics and generalized quantifiers in descriptive complexity
By: Henrik Imhof
Contributors: Universität Freiburg im Breisgau
Publisher: [s.n.]
Published: 1996
Place of publication: [s.l.]
Language: eng
Number of pages: 88
Notes: Inaugural-Dissertation der Albert-Ludwigs-Universität zu Freiburg i. Br.

Thesis (doctoral)--Albert-Ludwigs-Universität Freiburg im Breisgau, 1996.