scientific article; zbMATH DE number 7561705
From MaRDI portal
Publication:5092424
DOI10.4230/LIPIcs.MFCS.2019.61MaRDI QIDQ5092424
Michał Skrzypczak, Nathan Lhote, Vincent Michielini
Publication date: 21 July 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The Birkhoff theorem for finite algebras
- Uniformization problem for variants of first order logic over finite words
- On decidability of monadic logic of order over the naturals extended by monadic predicates
- Weak Second‐Order Arithmetic and Finite Automata
- Rabin's uniformization problem
- A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
- Tree-Walking Automata
- MSO on the Infinite Binary Tree: Choice and Order
- Decision Problems of Finite Automata Design and Related Arithmetics
- The recursive sets in certain monadic second order fragments of arithmetic
- Star-free regular sets of ω-sequences
- Uniformization and skolem functions in the class of trees
- Some results onC-varieties
- On finite monoids having only trivial subgroups
- Solving Sequential Conditions by Finite-State Strategies
- Decidability of Second-Order Theories and Automata on Infinite Trees
This page was built for publication:
