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

Maximale monadische Logiken.. Arch. Math. Log., 25 (1): 145-152 (1985)A Remark on Infinitary Languages.. J. Symb. Log., 36 (3): 461-462 (1971)L(Q)-Preservation Theorems.. J. Symb. Log., 40 (3): 410-418 (1975)On Bounded Theories.. CSL, volume 626 of Lecture Notes in Computer Science, page 111-118. Springer, (1991)FO-Definability of Shrub-Depth., and . CSL, volume 152 of LIPIcs, page 15:1-15:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Forbidden Induced Subgraphs and the Łoś-Tarski Theorem., and . LICS, page 1-13. IEEE, (2021)Parameterized Complexity Theory, and . Texts in Theoretical Computer Science. An EATCS Series Springer, (2006)Parameterized Complexity and Logic.. CiE, volume 4497 of Lecture Notes in Computer Science, page 278-289. Springer, (2007)Bounded fixed-parameter tractability and reducibility., , , and . Ann. Pure Appl. Log., 148 (1-3): 1-19 (2007)On Optimal Inverters., and . Bull. Symb. Log., 20 (1): 1-23 (2014)