Subshifts, Languages and Logic

Emmanuel Jeandel, Guillaume Theyssier

Type: Book-Chapter

Publication Date: 2009-01-01

Citations: 5

DOI: https://doi.org/10.1007/978-3-642-02737-6_23

View Publication

Download PDF

Locations

Lecture notes in computer science - View
arXiv (Cornell University) - View - PDF
HAL (Le Centre pour la Communication Scientifique Directe) - View - PDF
DataCite API - View

Similar Works

Action	Title	Year	Authors
+ PDF Chat	Subshifts, Languages and Logic	2009	Emmanuel Jeandel Guillaume Theyssier
+ PDF Chat	Subshifts, Languages and Logic	2009	Emmanuel Jeandel Guillaume Theyssier
+ PDF Chat	Subshifts, Languages and Logic	2009	Emmanuel Jeandel Guillaume Theyssier
+	Subshifts and Logic: Back and Forth	2009	Emmanuel Jeandel Guillaume Theyssier
+ PDF Chat	Subshifts as Models for MSO Logic	2009	Emmanuel Jeandel Guillaume Theyssier
+ PDF Chat	Subshifts as Models for MSO Logic	2009	Emmanuel Jeandel Guillaume Theyssier
+	Subshifts, MSO Logic, and Collapsing Hierarchies	2014	Ilkka Törmä
+	Subshifts, MSO Logic, and Collapsing Hierarchies	2014	Ilkka Törmä
+	Subshifts as models for MSO logic	2013	Emmanuel Jeandel Guillaume Theyssier
+	Computations by fly-automata beyond monadic second-order logic	2015	Bruno Courcelle Irène Durand
+	Subshifts of finite type and sofic systems	1973	Benjamin Weiss
+	Lecture Notes on Monadic First- and Second-Order Logic on Strings	2023	Dino Mandrioli Davide Martinenghi Angelo Morzenti Matteo Pradella Matteo Rossi
+ PDF Chat	Alternating hierarchy of sushifts defined by nondeterministic plane-walking automata	2024	Benjamin Hellouin de Ménibus Pacôme Perrotin
+	Monadic Second Order Logic And Its Fragments	2004	G Lenzi
+ PDF Chat	Asymptotic Monadic Second-Order Logic	2014	Achim Blumensath Olivier Carton Thomas Colcombet
+ PDF Chat	An Introduction to Finite Automata and their Connection to Logic	2012	Howard Straubing Pascal Weil
+	Elementary topoi.	2020	Jordan Mitchell Barrett
+ PDF Chat	On Derivatives and Subpattern Orders of Countable Subshifts	2012	Ville Salo Ilkka Törmä
+ PDF Chat	Relating First-Order Set Theories and Elementary Toposes	2007	Steve Awodey Carsten Butz Alex Simpson Thomas Streicher
+	Automaton transformations and monadic theories of infinite sequences	2011	N. N. Korneeva

Works That Cite This (3)

Action	Title	Year	Authors
+ PDF Chat	The domino problem on groups of polynomial growth	2018	Alexis Ballier Maya Stein
+	Subshifts as models for MSO logic	2013	Emmanuel Jeandel Guillaume Theyssier
+	Subshifts and Logic: Back and Forth	2009	Emmanuel Jeandel Guillaume Theyssier

Works Cited by This (8)

Action	Title	Year	Authors
+	The Classical Decision Problem	1997	Egon Börger Erich Grädel Yuri Gurevich
+ PDF Chat	Logical aspects of Cayley-graphs: the group case	2004	Dietrich Kuske Markus Lohrey
+	The undecidability of the domino problem	1966	Robert E. Berger
+	The structure of the models of decidable monadic theories of graphs	1991	Detlef Seese
+	Undecidability and nonperiodicity for tilings of the plane	1971	Raphael M. Robinson
+	Subshifts of finite type and sofic systems	1973	Benjamin Weiss
+	Une théorie finiement axiomatisable et superstable	1982	Bruno Poizat
+ PDF Chat	Memoirs of the American Mathematical Society	2012