scientific article; zbMATH DE number 7559440
From MaRDI portal
Publication:5089242
DOI10.4230/LIPICS.MFCS.2020.69MaRDI QIDQ5089242
Vincent Michielini, Michał Skrzypczak
Publication date: 18 July 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Automata, logics, and infinite games. A guide to current research
- On decidability of monadic logic of order over the naturals extended by monadic predicates
- Linear Automaton Transformations
- Rabin's uniformization problem
- MSO on the Infinite Binary Tree: Choice and Order
- The recursive sets in certain monadic second order fragments of arithmetic
- Uniformization and skolem functions in the class of trees
- AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS
- Uniformisations of Regular Relations Over Bi-Infinite Words
This page was built for publication:
