Magnitude Monadic Logic over Words and the Use of Relative Internal Set Theory

DOI10.1109/LICS.2013.17zbMath1433.03012MaRDI QIDQ5271047

Thomas Colcombet

Publication date: 3 July 2017

Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Nonclassical and second-order set theories (03E70) Higher-order logic (03B16)

Related Items (2)

Positive First-order Logic on Words and Graphs ⋮ The factorisation forest theorem

This page was built for publication: Magnitude Monadic Logic over Words and the Use of Relative Internal Set Theory