scientific article; zbMATH DE number 7347654
From MaRDI portal
Publication:4988163
zbMath1462.68116MaRDI QIDQ4988163
Publication date: 12 May 2021
Full work available at URL: http://www.jalc.de/issues/2020/issue_25_2-3/jalc-2020-141-169.php
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Deciding \(\mathrm{FO}^2\) alternation for automata over finite and infinite words ⋮ Obituary: Libor Polák (1950--2020) ⋮ Forbidden Patterns for FO2 Alternation Over Finite and Infinite Words
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Characterizations of some classes of regular events
- Polynomial closure and unambiguous product
- On varieties of ordered automata
- On the expressive power of temporal logic
- Languages of dot-depth 3/2
- Actions, wreath products of \(\mathcal C\)-varieties and concatenation product.
- Minimal Reversible Deterministic Finite Automata
- Some results onC-varieties
This page was built for publication: