Rice-Like Theorems for Automata Networks

Guilhem Gamard, Pierre Guillon 0001, Kévin Perrot, Guillaume Theyssier. Rice-Like Theorems for Automata Networks. In Markus Bläser, Benjamin Monmege, editors, 38th International Symposium on Theoretical Aspects of Computer Science, STACS 2021, March 16-19, 2021, Saarbrücken, Germany (Virtual Conference). Volume 187 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

Authors

Guilhem Gamard

This author has not been identified. Look up 'Guilhem Gamard' in Google

Pierre Guillon 0001

This author has not been identified. Look up 'Pierre Guillon 0001' in Google

Kévin Perrot

This author has not been identified. Look up 'Kévin Perrot' in Google

Guillaume Theyssier

This author has not been identified. Look up 'Guillaume Theyssier' in Google