Step-Indexed Relational Reasoning for Countable Nondeterminism

Jan Schwinghammer; Lars Birkedal

Step-Indexed Relational Reasoning for Countable Nondeterminism

Jan Schwinghammer, Lars Birkedal

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of Computer Science Logic, 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway
Publisher	Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH
Publication date	2011
Pages	512-524
ISBN (Print)	978-3-939897-32-3
Publication status	Published - 2011

Cite this

@inproceedings{a8486c50e09e4e569f3dc202f289fae1,

title = "Step-Indexed Relational Reasoning for Countable Nondeterminism",

author = "Jan Schwinghammer and Lars Birkedal",

year = "2011",

language = "English",

isbn = "978-3-939897-32-3",

pages = "512--524",

booktitle = "Proceedings of Computer Science Logic, 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway",

publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH",

}

Step-Indexed Relational Reasoning for Countable Nondeterminism. / Schwinghammer, Jan; Birkedal, Lars.
Proceedings of Computer Science Logic, 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2011. p. 512-524.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

TY - GEN

T1 - Step-Indexed Relational Reasoning for Countable Nondeterminism

AU - Schwinghammer, Jan

AU - Birkedal, Lars

PY - 2011

Y1 - 2011

M3 - Article in proceedings

SN - 978-3-939897-32-3

SP - 512

EP - 524

BT - Proceedings of Computer Science Logic, 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway

PB - Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH

ER -