An implementation in Agda of Sutner's decision algorithms for injectivity and surjectivity of one-dimensional cellular automata
statement of authorship
Silvio Capobianco and Niccolò Veltri
location of publication
Reykjavik
publisher
year of publication
pages
p. 27-29
conference name, date
27th Nordic Workshop on Programming Theory (NWPT 2015), 21-23 October, 2015
conference location
Reykjavik, Iceland
subject term
ISSN
1670-5777
notes
Bibliogr.: 5 ref
TTÜ department
language
inglise
Capobianco, S., Veltri, N. An implementation in Agda of Sutner's decision algorithms for injectivity and surjectivity of one-dimensional cellular automata // Proceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015). Reykjavik : Reykjavik University, 2016. p. 27-29. (Technical report / School of Computer Science, Reykjavík University ; RUTR-SCS 16001).