An implementation in Agda of Sutner's decision algorithms for injectivity and surjectivity of one-dimensional cellular automata
author
Capobianco, Silvio
Veltri, Niccolo
statement of authorship
Silvio Capobianco and Niccolò Veltri
source
Proceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)
location of publication
Reykjavik
publisher
Reykjavik University
year of publication
2016
pages
p. 27-29
series
Technical report / School of Computer Science, Reykjavík University ; RUTR-SCS 16001
conference name, date
27th Nordic Workshop on Programming Theory (NWPT 2015), 21-23 October, 2015
conference location
Reykjavik, Iceland
url
http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf
subject term
rakuautomaadid
algoritmid
modelleerimine (teadus)
programmeerimiskeeled
ISSN
1670-5777
notes
Bibliogr.: 5 ref
TalTech department
TTÜ Küberneetika Instituut
language
inglise