prindi

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

autor
Capobianco, Silvio
Veltri, Niccolo
vastutusandmed
Silvio Capobianco and Niccolò Veltri
allikas
Proceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)
ilmumiskoht
Reykjavik
kirjastus/väljaandja
Reykjavik University
ilmumisaasta
2016
leheküljed
p. 27-29
seeria-sari
Technical report / School of Computer Science, Reykjavík University ; RUTR-SCS 16001
konverentsi nimetus, aeg
27th Nordic Workshop on Programming Theory (NWPT 2015), 21-23 October, 2015
konverentsi toimumispaik
Reykjavik, Iceland
leitav
http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf
märksõna
rakuautomaadid
algoritmid
modelleerimine (teadus)
programmeerimiskeeled
ISSN
1670-5777
märkused
Bibliogr.: 5 ref
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
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