Logical Step-Indexed Logical Relations
- Derek Dreyer,
- Amal Ahmed,
- 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
EngelskPublikationsmilepæle
- Udgivet - 2009
Publikationsstatus
Udgivet - 2009
Forlag
IEEE, USAPublication IDs
- Scopus: 70350600592
Titel på værtspublikation
Proceedings of the Twenty-Fourth Annual IEEE Symposium on Logic in Computer Science, LICS 2009, Los Angeles, CA, USAMetrikker
PlumX
Hentninger
24
Antal citationer
49
Relateret event
Titel
Logic in Computer Science