The monadic theory of morphic infinite words and generalizations
type: Item
instance of: scholarly article
title: The monadic theory of morphic infinite words and generalizations
zbMATH Open document ID: 1012.03015
author: Olivier Carton
author: Wolfgang Thomas
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03D05
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 20M35
zbMATH DE Number: 1853271
MaRDI profile type: Publication
full work available at URL: inco.2001.3139
OpenAlex ID: W2008735821
cites work: Linear cellular automata, finite automata and Pascal's triangle
cites work: Q4848740
cites work: Q2776539
cites work: Decidability and undecidability of theories with a predicate for the primes
cites work: Q3994777
cites work: Q5525343
cites work: Definability in the monadic second-order theory of successor
cites work: Q4536363
cites work: Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
cites work: Q4320535
cites work: Q4939601
cites work: Q3837737
cites work: Q4155837
cites work: Q5614656
cites work: The theory of successor with an extra predicate
cites work: On the bounded monadic theory of well-ordered structures
cites work: Q4385530
cites work: Q4362730
DOI: 10.1006/INCO.2001.3139
Recommended article: Q4536363
Recommended article: The monadic theory of finite representations of infinite words
Recommended article: Q4585066
Recommended article: Infinite and Bi-infinite Words with Decidable Monadic Theories.
Recommended article: Q5387714
Recommended article: Q4708567
Recommended article: On the simplification of infinite morphic words
Recommended article: A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS
Recommended article: On infinite words and dimension raising homomorphisms
Recommended article: Q4234518
description: scientific article; zbMATH DE number 1853271