Originalsprog | Engelsk |
---|---|
Tidsskrift | Electronic Notes in Theoretical Computer Science |
Vol/bind | 284 |
Sider (fra-til) | 55-74 |
ISSN | 1571-0661 |
Status | Udgivet - 2012 |
Formal Cellular Machinery
Espen Højsgaard, Troels Christoffer Damgaard, Jean Krivine
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review