A Hierarchy of Automatic Words having a Decidable MSO Theory

A Hierarchy of Automatic Words having a Decidable MSO Theory

We investigate automatic presentations of infinite words. Starting points of our study are the works of Rigo and Maes, and Carton and Thomas concerning the lexicographic presentation, respectively the decidability of the MSO theory of morphic words. Refining their techniques we observe that the lexi...

書誌詳細
第一著者:	Barany, V
その他の著者:	Caucal, D
フォーマット:	Conference item
出版事項:	2006

類似資料

A hierarchy of automatic omega−words having a decidable MSO theory
著者:: Barany, V
出版事項: (2008)

Decidability of MSO Theories of Tree Structures
著者:: Montanari, A, 等
出版事項: (2004)

A Contraction Method to Decide MSO Theories of Deterministic Trees
著者:: Montanari, A, 等
出版事項: (2007)

A Dialectica-Like Interpretation of a Linear MSO on Infinite Words
著者:: Pradic, P, 等
出版事項: (2019)

Determinacy and rewriting of functional top–down and MSO tree transformations
著者:: Benedikt, M, 等
出版事項: (2016)

Automatic Presentations of Infinite Structures
著者:: Barany, V
出版事項: (2007)

ON THE DECIDABILITY AND COMPLEXITY OF METRIC TEMPORAL LOGIC OVER FINITE WORDS
著者:: Ouaknine, J, 等
出版事項: (2007)

Invariants of Automatic Presentations and Semi−Synchronous Transductions
著者:: Barany, V
出版事項: (2006)

On the decidability of finite extensions of decidable fields
著者:: Thanagopal, K
出版事項: (2018)

Cardinality and counting quantifiers on omega−automatic structures
著者:: Kaiser, L, 等
出版事項: (2008)

Decidability of the Theory of the Totally Unbounded omega−Layered Structure
著者:: Montanari, A, 等
出版事項: (2004)

Thinking and deciding /
著者:: 221448 Baron, Jonathan
出版事項: (1988)

Deciding how to decide: Using the Digital Preservation Storage Criteria
著者:: Schaefer, Sibyl K, 等
出版事項: (2021)

Decidable prime models
著者:: Young, Jessica Millar, 1973-
出版事項: (2005)

SHOULD THE DOCTOR DECIDE
著者:: Mant, D
出版事項: (1989)

Decidability in extensions of Fp((t))
著者:: Rigler, B
出版事項: (2021)

The Japanese have a word for it : the complete guide to Japanese thought and culture /
著者:: 208883 De Mente, Boye
出版事項: (1997)

Learning to Automatically Solve Algebra Word Problems
著者:: Kushman, Nate, 等
出版事項: (2015)

Automatic video genre classification with visual words
著者:: Vu, Minh Khue
出版事項: (2011)

Macro-engineering : how to decide?
著者:: Jones, William J.
出版事項: (2006)

After SPM: deciding the future
著者:: Sani, Rozana
出版事項: (2017)

What is Decidable about Strings?
著者:: Ganesh, Vijay, 等
出版事項: (2011)

Decidability questions for Petri Nets.
著者:: Hack, Michel Henri Théodore
出版事項: (2005)

The Millennial Generation : Deciding Bloc?
著者:: Syafiq Hasyim
出版事項: (2018)

On the decidability of Metric Temporal Logic
著者:: Ouaknine, J, 等
出版事項: (2005)

Decidability Questions for Petri Nets
著者:: Hack, Michel Henri Théodore
出版事項: (2023)

Decidability in local and global fields
著者:: Koenigsmann, J
出版事項: (2019)

DECIDABLE PROPERTIES OF POLYCYCLIC GROUPS
著者:: Segal, D
出版事項: (1990)

The pseudo-Skolem Problem is decidable
著者:: D'Costa, J, 等
出版事項: (2021)

Surrogate uncertainty: who decides?
著者:: Wilkinson, D
出版事項: (2021)

How to decide business policy
著者:: 3999 Intermediate Technology Development Group
出版事項: (1969)

3XOR Games with Perfect Commuting Operator Strategies Have Perfect Tensor Product Strategies and are Decidable in Polynomial Time
著者:: Bene Watts, Adam, 等
出版事項: (2023)

Automatic identification of two-word terms in English text.
著者:: Heng, Siok Tian.
出版事項: (2008)

Automatic mathematical function and signal generator for Microsoft Word
著者:: Muhammad Alghufran Bin Mohammad Yatim
出版事項: (2022)

The monadic theory of toric words
著者:: Berthé, V, 等
出版事項: (2024)

Hyper-K{ä}hler Hierarchies and their twistor theory
著者:: Dunajski, M, 等
出版事項: (2000)

A hierarchy of failures−based models: theory and application
著者:: Bolton, C, 等
出版事項: (2005)

A hierarchy of failures-based models: theory and application
著者:: Bolton, C, 等
出版事項: (2005)

Decidability results for multi-objective stochastic games
著者:: Brenguier, R, 等
出版事項: (2016)

Hyper-kähler hierarchies and their twistor theory
著者:: Dunajski, M, 等
出版事項: (2000)