scientific article; zbMATH DE number 6109839
From MaRDI portal
Publication:4649552
DOI10.4230/LIPICS.CSL.2012.274zbMath1252.68147arXiv1201.5853MaRDI QIDQ4649552
Etienne Grandjean, Frédéric Olive
Publication date: 22 November 2012
Full work available at URL: https://arxiv.org/abs/1201.5853
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
cellular automatasecond-order logiclinear timepicture languagesrecognizabilitylocality and tilinglogical characterizations
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Cellular automata (computational aspects) (68Q80) Descriptive complexity and finite models (68Q19)
This page was built for publication:
