Linear usage of state

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Logical Methods in Computer Science
Vol/bind	10
Udgave nummer	1
ISSN	1860-5974
DOI	https://doi.org/10.2168/LMCS-10(1:17)2014
Status	Udgivet - 25 mar. 2014

Adgang til dokumentet

@article{32413b3015af47bf8d2b0404f2125f43,

title = "Linear usage of state",

author = "M{\o}gelberg, {Rasmus Ejlers} and Sam Staton",

note = "Afventer bed{\o}mmelse til tidsskriftet iflg. Rasmus. 13.6.2013 haal",

year = "2014",

month = mar,

day = "25",

doi = "10.2168/LMCS-10(1:17)2014",

language = "English",

volume = "10",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "International Federation for Computational Logic",

number = "1",

}

TY - JOUR

T1 - Linear usage of state

AU - Møgelberg, Rasmus Ejlers

AU - Staton, Sam

N1 - Afventer bedømmelse til tidsskriftet iflg. Rasmus. 13.6.2013 haal

PY - 2014/3/25

Y1 - 2014/3/25

U2 - 10.2168/LMCS-10(1:17)2014

DO - 10.2168/LMCS-10(1:17)2014

M3 - Journal article

SN - 1860-5974

VL - 10

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

IS - 1

ER -