Formal Cellular Machinery
- Espen Højsgaard,
- Troels Christoffer Damgaard,
- Jean Krivine
- Laboratoire PPS, Université Paris Diderot
Publikation:
Artikel i tidsskrift og konference artikel i tidsskrift
Konferenceartikel
Forskning
Peer-reviewPublikation information
Produktionstype
Publikation:
Artikel i tidsskrift og konference artikel i tidsskrift
Konferenceartikel
Forskning
Peer-reviewOriginalsprog
EngelskSider fra-til (Antal sider)
Sider 55-74Tidsskrift (Bind, Nummer)
Electronic Notes in Theoretical Computer Science (Bind 284)Publikationsmilepæle
- Udgivet - 2012
Publikationsstatus
Udgivet - 2012
ISSN
1571-0661Publication IDs
- Scopus: 84863205250
Metrikker
PlumX
Antal citationer
10
Hentninger
14
