-
Choice functions and well-orderings over the infinite binary tree
International audience -
Groups, graphs, languages, automata, games and second-order monadic logic
International audience -
Algorithmic Meta Theorems for Circuit Classes of Constant and Logarithmic Depth
International audience -
Lower Bounds on the Complexity of MSO_1 Model-Checking
International audience -
Quasi-recognizable vs MSO definable languages of one-dimensional overlapping ...
International audience -
A logical approach to locality in pictures languages
International audience -
Algebras, automata and logic for languages of labeled birooted trees
International audience -
Forcing MSO on Infinite Words in Weak MSO
International audience -
Logic and branching automata
International audience -
Verifying Communicating Multi-pushdown Systems
International audience
