An implementation in Agda of Sutner's decision algorithms for injectivity and surjectivity of one-dimensional cellular automata

vastutusandmed
Silvio Capobianco and Niccolò Veltri
ilmumiskoht
Reykjavik
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 27-29
konverentsi nimetus, aeg
27th Nordic Workshop on Programming Theory (NWPT 2015), 21-23 October, 2015
konverentsi toimumispaik
Reykjavik, Iceland
ISSN
1670-5777
märkused
Bibliogr.: 5 ref
TTÜ struktuuriüksus
keel
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). http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf