Author of the publication

First-order definable languages.

, and . Logic and Automata, volume 2 of Texts in Logic and Games, page 261-306. Amsterdam University Press, (2008)

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

Decidability of well-connectedness for distributed synthesis., and . Inf. Process. Lett., 112 (24): 963-968 (2012)A truly concurrent semantics for a process algebra using resource pomsets., and . Theor. Comput. Sci., 281 (1-2): 369-421 (2002)Temporal logics for concurrent recursive programs: Satisfiability and model checking., , , and . J. Applied Logic, 12 (4): 395-416 (2014)Regular Transducer Expressions for Regular Transformations., , and . CoRR, (2018)Unambiguous Forest Factorization., and . CoRR, (2018)A Survey on Small Fragments of First-Order Logic over Finite Words., , and . Int. J. Found. Comput. Sci., 19 (3): 513-548 (2008)Infinite Traces.. Semantics of Systems of Concurrent Processes, volume 469 of Lecture Notes in Computer Science, page 277-308. Springer, (1990)Verifying Communicating Multi-pushdown Systems via Split-Width., , and . ATVA, volume 8837 of Lecture Notes in Computer Science, page 1-17. Springer, (2014)Verification of Parameterized Communicating Automata via Split-Width., and . FoSSaCS, volume 9634 of Lecture Notes in Computer Science, page 197-213. Springer, (2016)Local Testing of Message Sequence Charts Is Difficult., , , and . FCT, volume 4639 of Lecture Notes in Computer Science, page 76-87. Springer, (2007)