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