Step-Indexed Relational Reasoning for Countable Nondeterminism

Jan Schwinghammer; Lars Birkedal

Step-Indexed Relational Reasoning for Countable Nondeterminism

Jan Schwinghammer, Lars Birkedal

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	Proceedings of Computer Science Logic, 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway
Forlag	Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH
Publikationsdato	2011
Sider	512-524
ISBN (Trykt)	978-3-939897-32-3
Status	Udgivet - 2011

Citationsformater

@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. s. 512-524.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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 -