Gå til søgefeltetSpring over til navigationSpring til hovedindhold

Logical Step-Indexed Logical Relations

  • Derek Dreyer
    ,
  • Amal Ahmed
    ,
  • Lars Birkedal
Publikation:
Konference artikel i Proceeding eller bog/rapport kapitel
Konferencebidrag i proceedings
Forskning
 Peer-review

Publikation information

Produktionstype

Publikation:
Konference artikel i Proceeding eller bog/rapport kapitel
Konferencebidrag i proceedings
Forskning
 Peer-review

Originalsprog

Engelsk

Publikationsmilepæle

  • Udgivet - 2009

Publikationsstatus

Udgivet - 2009

Forlag

IEEE, USA

Publication 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, USA

Metrikker

PlumX

Antal citationer
49
Hentninger
24

Relateret event

Titel

Logic in Computer Science

Begivenhedstype

Konference

Dato

02/07/2010