@InProceedings{grente_et_al:OASIcs.AUTOMATA.2021.8, author = {Grente, Th\'{e}o and Grandjean, \'{E}tienne}, title = {{Conjunctive Grammars, Cellular Automata and Logic}}, booktitle = {27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2021)}, pages = {8:1--8:19}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-189-4}, ISSN = {2190-6807}, year = {2021}, volume = {90}, editor = {Castillo-Ramirez, Alonso and Guillon, Pierre and Perrot, K\'{e}vin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.AUTOMATA.2021.8}, URN = {urn:nbn:de:0030-drops-140170}, doi = {10.4230/OASIcs.AUTOMATA.2021.8}, annote = {Keywords: Computational complexity, Real-time, One-dimensional/two-dimensional cellular automaton, One-way/two-way communication, Grid-circuit, Unary language, Descriptive complexity, Existential second-order logic, Horn formula} }