Exploring nominal cellular automata

Tommaso Bolognesi, Vincenzo Ciancia. Exploring nominal cellular automata. Journal of Logic and Algebraic Programming, 93:23-41, 2017. [doi]

Abstract

Abstract is missing.