See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

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

Capobianco, Silvio; Veltri, Niccolò (2016). 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). Ed. Aceto, L.; Fábregas, I.; Garcia-Perez, Á.; Ingólfsdóttir, A. Reykjavík: Reykjavík University, 27−29. (Technical report RUTR-SCS16001, School of Computer Science, Reykjavík University).
publitseeritud konverentsiettekanne
Capobianco, Silvio; Veltri, Niccolò
  • Inglise
Proceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)
Aceto, L.; Fábregas, I.; Garcia-Perez, Á.; Ingólfsdóttir, A.
Reykjavík
Reykjavík University
1670-5777
Technical report RUTR-SCS16001, School of Computer Science, Reykjavík University
2016
2729
Ilmunud
5.2. Konverentsiteesid, mis ei kuulu valdkonda 5.1