scientific article; zbMATH DE number 7168148

MaRDI QIDQ5216303

Bruno Guillon, A. V. Sreejith, Mikołaj Bojańczyk, Vincent Penelle, Laure Daviaud

Publication date: 17 February 2020

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

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

zbMATH Keywords

undecidability\textsc{mso} logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Asymptotic Monadic Second-Order Logic
• On Boolean closed full trios and rational Kripke frames.
• Expressing cardinality quantifiers in monadic second-order logic over chains
• Measure Quantifier in Monadic Second Order Logic
• Computer Science Logic
• Infinite and Bi-infinite Words with Decidable Monadic Theories.

This page was built for publication: