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

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Original language	English
Journal	Electronic Notes in Theoretical Computer Science
Volume	284
Pages (from-to)	55-74
ISSN	1571-0661
Publication status	Published - 2012

Cite this

@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 -