Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Definability by Horn formulas and linear time on cellular automata - MaRDI portal

Definability by Horn formulas and linear time on cellular automata

From MaRDI portal

Publication:5111431

Jump to:navigation, search

DOI10.4230/LIPIcs.ICALP.2017.99zbMath1442.68118OpenAlexW2601070892MaRDI QIDQ5111431

Frédéric Olive, Nicolas Bacquey, Etienne Grandjean

Publication date: 27 May 2020

Full work available at URL: https://hal.science/hal-01494246

zbMATH Keywords

second-order logic logic programming linear time picture languages descriptive complexity Horn formulas local induction cellular automata of any dimension

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Cellular automata (computational aspects) (68Q80) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Inductive definitions in logic versus programs of real-time cellular automata

This page was built for publication: Definability by Horn formulas and linear time on cellular automata

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5111431&oldid=19632260"