scientific article
From MaRDI portal
Publication:3384174
zbMath1483.68160arXiv1709.02104MaRDI QIDQ3384174
Pietro Sala, Dario Della Monica, Angelo Montanari
Publication date: 14 December 2021
Full work available at URL: https://arxiv.org/abs/1709.02104
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (max. 100)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Weak MSO with the unbounding quantifier
- From liveness to promptness
- Prompt Interval Temporal Logic
- Weak Second‐Order Arithmetic and Finite Automata
- Interval Logics and ωB-Regular Languages
- Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness
- Computer Science Logic
- Separation Property for wB- and wS-regular Languages
- Testing and generating infinite sequences by a finite automaton
This page was built for publication: