Linear usage of state

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

Original language	English
Journal	Logical Methods in Computer Science
Volume	10
Issue number	1
ISSN	1860-5974
DOIs	https://doi.org/10.2168/LMCS-10(1:17)2014
Publication status	Published - 25 Mar 2014

Access to Document

@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

VL - 10

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

SN - 1860-5974

IS - 1

ER -