scientific article; zbMATH DE number 6816924

DOI10.23638/LMCS-13(4:3)2017zbMath1459.68095arXiv1708.09765MaRDI QIDQ4596779

Mikołaj Bojańczyk, Thomas Colcombet

Publication date: 11 December 2017

Full work available at URL: https://arxiv.org/abs/1708.09765

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (4)

Unnamed Item ⋮ An interval temporal logic characterization of extended \(\omega\)-regular languages ⋮ Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts ⋮ Universality of R-automata with Value Copying

This page was built for publication: