scientific article; zbMATH DE number 7204558

DOI10.4230/LIPIcs.ICALP.2017.106zbMath1442.68084arXiv1702.06858MaRDI QIDQ5111438

Edon Kelmendi, Hugo Gimbert, Mikołaj Bojańczyk

Publication date: 27 May 2020

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

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

zbMATH Keywords

monadic second-order logictree automataprobabilistic automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Related Items (2)

Unnamed Item ⋮ Monadic Second Order Logic with Measure and Category Quantifiers

This page was built for publication: