Formal Cellular Machinery

Espen Højsgaard; Troels Christoffer Damgaard; Jean Krivine

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 review

Originalsprog	Engelsk
Tidsskrift	Electronic Notes in Theoretical Computer Science
Vol/bind	284
Sider (fra-til)	55-74
ISSN	1571-0661
Status	Udgivet - 2012

Citationsformater

@inproceedings{c838f4c4bc484e429d2227fe652155d3,

title = "Formal Cellular Machinery",

author = "Espen H{\o}jsgaard and Damgaard, \{Troels Christoffer\} and Jean Krivine",

note = "Er publiceret i noget der hedder SASB 2011 (jcg, 2/2/2013) ok: linket er her i Science Direct http://www.sciencedirect.com/science/article/pii/S1571066112000163",

year = "2012",

language = "English",

volume = "284",

pages = "55--74",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

}

TY - GEN

T1 - Formal Cellular Machinery

AU - Højsgaard, Espen

AU - Damgaard, Troels Christoffer

AU - Krivine, Jean

N1 - Er publiceret i noget der hedder SASB 2011 (jcg, 2/2/2013) ok: linket er her i Science Direct http://www.sciencedirect.com/science/article/pii/S1571066112000163

PY - 2012

Y1 - 2012

M3 - Conference article

SN - 1571-0661

VL - 284

SP - 55

EP - 74

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -