Théo Grente

According to our database, Théo Grente authored at least 4 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

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

Etienne Grandjean, Théo Grente, Véronique Terrier

Theor. Comput. Sci., 2024

2021

Conjunctive Grammars, Cellular Automata and Logic.

Théo Grente, Etienne Grandjean

Proceedings of the 27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, 2021

2020

Caractérisation et programmation en théorie des langages et en logique des classes de complexité efficace des automates cellulaires. (Characterisation and programming in language theory and in logic of effective complexity classes of cellular automatons).

Théo Grente

PhD thesis, 2020

2019

Descriptive complexity for minimal time of cellular automata.

Etienne Grandjean, Théo Grente

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019