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

Rudimentary Languages and Second Order Logic., and . Math. Log. Q., (1997)First-Order Queries over One Unary Function., and . CSL, volume 4207 of Lecture Notes in Computer Science, page 334-348. Springer, (2006)On the enumeration of signatures of XOR-CNF's., , , and . CoRR, (2024)Locally definable vertex set properties are efficiently enumerable., , and . Discret. Appl. Math., (2021)Definability by Horn Formulas and Linear Time on Cellular Automata., , and . ICALP, volume 80 of LIPIcs, page 99:1-99:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Descriptive complexity for pictures languages (extended abstract), , and . CoRR, (2012)Parameterized Enumeration with Ordering., , , , , and . CoRR, (2013)Monadic Logical Definability of Nondeterministic Linear Time., and . Comput. Complex., 7 (1): 54-97 (1998)Monadic Logical Definability of NP-Complete Problems., and . CSL, volume 933 of Lecture Notes in Computer Science, page 190-204. Springer, (1994)Parameterized Enumeration for Modification Problems., , , , , and . LATA, volume 8977 of Lecture Notes in Computer Science, page 524-536. Springer, (2015)