Step-Indexed Relational Reasoning for Countable Nondeterminism
- Jan Schwinghammer,
- Lars Birkedal
Publikation:
Konference artikel i Proceeding eller bog/rapport kapitel
Konferencebidrag i proceedings
Peer-reviewPublikation information
Produktionstype
Publikation:
Konference artikel i Proceeding eller bog/rapport kapitel
Konferencebidrag i proceedings
Peer-reviewOriginalsprog
EngelskSider fra-til (Antal sider)
Sider 512-524Publikationsmilepæle
- Udgivet - 2011
Publikationsstatus
Udgivet - 2011
Forlag
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbHISBN (Trykt)
978-3-939897-32-3Publication IDs
- Scopus: 84880233059
Titel på værtspublikation
Proceedings of Computer Science Logic, 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, NorwayMetrikker
PlumX
Antal citationer
2
Hentninger
3