Skip to Main content Skip to Navigation
New interface


...
hal-01494246v2  Conference papers
Nicolas BacqueyEtienne GrandjeanFrédéric Olive. Definability by Horn formulas and linear time on cellular automata
ICALP 2017 - 44th International Colloquium on Automata, Languages and Programming, Jul 2017, Warsaw, Poland. pp.1-14, ⟨10.4230/LIPIcs.ICALP.2017.99⟩