English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  The Monadic Theory of Toric Words

Berthé, V., Ouaknine, J., Vahanwala, M., Worrell, J., Karimov, T., & Nieuwveld, J. (2025). The Monadic Theory of Toric Words. Theoretical computer science, 1025, 1-16. doi:10.1016/j.tcs.2024.114959.

Item is

 

show all

Basic

hide
Item Permalink: https://hdl.handle.net/21.11116/0000-000E-001D-2 Version Permalink: https://hdl.handle.net/21.11116/0000-0010-6BD2-9
Genre: Journal Article

Files

hide Files
:
arXiv:2311.04895.pdf (Preprint), 698KB
 
File Permalink:
-
Name:
arXiv:2311.04895.pdf
Description:
File downloaded from arXiv at 2023-12-04 07:56
OA-Status:
Visibility:
Private
MIME-Type / Checksum:
application/pdf
Technical Metadata:
Copyright Date:
-
Copyright Info:
-
License:
http://creativecommons.org/licenses/by/4.0/
:
1-s2.0-S0304397524005760-main.pdf (Publisher version), 2MB
View   Save
File Permalink:
https://hdl.handle.net/21.11116/0000-0010-6BD3-8
Name:
1-s2.0-S0304397524005760-main.pdf
Description:
-
OA-Status:
Not specified
Visibility:
Public
MIME-Type / Checksum:
application/pdf / [MD5]
Technical Metadata:
View
Copyright Date:
-
Copyright Info:
-
License:
-

Locators

show

Creators

hide
 Creators:
Berthé, Valérie1, Author
Ouaknine, Joël2, Author           
Vahanwala, Mihir2, Author           
Worrell, James1, Author
Karimov, Toghrul2, Author           
Nieuwveld, Joris2, Author           
Affiliations:
1External Organizations, ou_persistent22              
2Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society, ou_2541691              

Content

hide
Free keywords: Computer Science, Logic in Computer Science, cs.LO
 Abstract: For which unary predicates $P_1, \ldots, P_m$ is the MSO theory of the
structure $\langle \mathbb{N}; <, P_1, \ldots, P_m \rangle$ decidable? We
survey the state of the art, leading us to investigate combinatorial properties
of almost-periodic, morphic, and toric words. In doing so, we show that if each
$P_i$ can be generated by a toric dynamical system of a certain kind, then the
attendant MSO theory is decidable.

Details

hide
Language(s): eng - English
 Dates: 2025
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: arXiv: 2311.04895
BibTex Citekey: Berthe2311.04895
URI: https://arxiv.org/abs/2311.04895
DOI: 10.1016/j.tcs.2024.114959
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

hide
Title: Theoretical computer science
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: Amsterdam : Elsevier
Pages: - Volume / Issue: 1025 Sequence Number: - Start / End Page: 1 - 16 Identifier: ISSN: 0304-3975
CoNE: https://pure.mpg.de/cone/journals/resource/954925512450