Infinite and Bi-infinite Words with Decidable Monadic Theories.

DOI10.4230/LIPICS.CSL.2015.472zbMath1434.03102OpenAlexW3023425580MaRDI QIDQ5351975

Jiamou Liu, Anastasia Moskvina, Dietrich Kuske

Publication date: 31 August 2017

Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.CSL.2015.472

zbMATH Keywords

bi-infinite wordsinfinite wordsmonadic second order logic

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Higher-order logic (03B16)

Related Items (1)

Unnamed Item

This page was built for publication: Infinite and Bi-infinite Words with Decidable Monadic Theories.