Reversible structured program theorem
Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
Standard
Reversible structured program theorem. / Yokoyama, Tetsuo; Glück, Robert.
Nordic Workshop on Programming Theory. Reykjavik University, Iceland, 2006.Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research
Harvard
Yokoyama, T & Glück, R 2006, Reversible structured program theorem. in Nordic Workshop on Programming Theory. Reykjavik University, Iceland, 18th Nordic Workshop on Programming Theory, Reykjavik, Iceland, 18/10/2006.
APA
Yokoyama, T., & Glück, R. (2006). Reversible structured program theorem. In Nordic Workshop on Programming Theory
Vancouver
Yokoyama T, Glück R. Reversible structured program theorem. In Nordic Workshop on Programming Theory. Reykjavik University, Iceland. 2006
Author
Bibtex
@inbook{8792d3e06c3711dcbee902004c4f4f50,
title = "Reversible structured program theorem",
author = "Tetsuo Yokoyama and Robert Gl{\"u}ck",
year = "2006",
language = "English",
booktitle = "Nordic Workshop on Programming Theory",
note = "18th Nordic Workshop on Programming Theory, NWPT ; Conference date: 18-10-2006 Through 20-10-2006",
}
RIS
TY - GEN
T1 - Reversible structured program theorem
AU - Yokoyama, Tetsuo
AU - Glück, Robert
PY - 2006
Y1 - 2006
M3 - Report chapter
BT - Nordic Workshop on Programming Theory
CY - Reykjavik University, Iceland
T2 - 18th Nordic Workshop on Programming Theory
Y2 - 18 October 2006 through 20 October 2006
ER -
ID: 1105454