Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

DLT
2009

favoriteEmaildiscussreport

91views Theoretical Computer Science» more DLT 2009»

Subshifts, Languages and Logic

13 years 2 months ago

Subshifts, Languages and Logic

Download hal.archives-ouvertes.fr

We study the Monadic Second Order (MSO) Hierarchy over infinite pictures, that is tilings. We give a characterization of existential MSO in terms of tilings and projections of tilings. Conversely, we characterise logic fragments corresponding to various classes of infinite pictures (subshifts of finite type, sofic subshifts).

Emmanuel Jeandel, Guillaume Theyssier

Real-time Traffic

DLT 2009 | Existential Mso | Infinite Pictures | Monadic Second Order | Theoretical Computer Science |

claim paper

Related Content

» An Order on Sets of Tilings Corresponding to an Order on Languages

» Computational complexity of dynamical systems The case of cellular automata

» Relations Versus Functions at the Foundations of Logic TypeTheoretic Considerations

» Bridges from Language to Logic Concepts Contexts and Ontologies

» Computing Logical Form on Regulatory Texts

» A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Inte...

» Implementation of Axiomatic Language

» The Epistemic Logic Behind the Game Description Language

» Logic language information and computation

Post Info
More Details (n/a)

Added	17 Feb 2011
Updated	17 Feb 2011
Type	Journal
Year	2009
Where	DLT
Authors	Emmanuel Jeandel, Guillaume Theyssier

Comments (0)