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
rakkautomaadid
algoritmid
modelleerimine (teadus)
programmeerimiskeeled
ISSN
1670-5777
märkused
Bibliogr.: 5 ref
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
keel
inglise