Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On Bounded Theories.. CSL, volume 626 of Lecture Notes in Computer Science, page 111-118. Springer, (1991)Maximale monadische Logiken.. Arch. Math. Log., 25 (1): 145-152 (1985)L(Q)-Preservation Theorems.. J. Symb. Log., 40 (3): 410-418 (1975)A Remark on Infinitary Languages.. J. Symb. Log., 36 (3): 461-462 (1971)Einführung in die mathematische Logik (4. Aufl.)., , and . Hochschultaschenbuch Spektrum Akadem. Verl., (1996)Einführung in die mathematische Logik (5. Aufl.)., , and . Spektrum Akademischer Verlag, (2007)Mathematical logic (2. ed.)., , and . Undergraduate texts in mathematics Springer, (1994)Consistency, optimality, and incompleteness., , and . Ann. Pure Appl. Logic, 164 (12): 1224-1235 (2013)Subexponential Time and Fixed-parameter Tractability: Exploiting the Miniaturization Mapping., and . J. Log. Comput., 19 (1): 89-122 (2009)Bounded Nondeterminism and Alternation in Parameterized Complexity Theory., , and . Computational Complexity Conference, page 13-29. IEEE Computer Society, (2003)