Publication:4585066

DOI10.23638/LMCS-14(3:9)2018MaRDI QIDQ4585066FDOQ4585066

Jiamou Liu, Dietrich Kuske, Anastasia Moskvina

Publication date: 6 September 2018

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

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The monadic theory of morphic infinite words and generalizations
• LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS
• Weak Second‐Order Arithmetic and Finite Automata
• The monadic theory of order
• Definability in the monadic second-order theory of successor
• Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
• On decidability of monadic logic of order over the naturals extended by monadic predicates
• Decidable Theories of the Ordering of Natural Numbers with Unary Predicates
• Weakly maximal decidable structures
• Decidable Expansions of Labelled Linear Orderings

Cited In (3)

• The monadic theory of finite representations of infinite words
• The monadic theory of morphic infinite words and generalizations
• On infinite transition graphs having a decidable monadic theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4585066)