Skip to Main content Skip to Navigation
New interface

hal-00779971v1  Conference papers
Etienne GrandjeanFrédéric Olive. Descriptive complexity for pictures languages
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France, Sep 2012, Fontainebleau, France. pp.1-15
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⟩