Author of the publication

Bounded Fixed-Parameter Tractability and log2n Nondeterministic Bits.

, , and . ICALP, volume 3142 of Lecture Notes in Computer Science, page 555-567. Springer, (2004)

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)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)FO-Definability of Shrub-Depth., and . CSL, volume 152 of LIPIcs, page 15:1-15:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Maximale monadische Logiken.. Arch. Math. Log., 25 (1): 145-152 (1985)Forbidden Induced Subgraphs and the Łoś-Tarski Theorem., and . LICS, page 1-13. IEEE, (2021)Quantifiers and Congruence Closure., , and . Stud Logica, 62 (3): 315-340 (1999)Parameterized Parallel Computing and First-Order Logic., and . Fields of Logic and Computation III, volume 12180 of Lecture Notes in Computer Science, page 57-78. Springer, (2020)Bounded Fixed-Parameter Tractability and log2n Nondeterministic Bits., , and . ICALP, volume 3142 of Lecture Notes in Computer Science, page 555-567. Springer, (2004)Some definitorial suggestions for parameterized proof complexity., and . Electron. Colloquium Comput. Complex., (2012)