Skip to search boxSkip to navigationSkip to main content

Logical Step-Indexed Logical Relations

  • Derek Dreyer
    ,
  • Amal Ahmed
    ,
  • Lars Birkedal
Research Output:
Journal Article or Conference Article in Journal
Conference article
 Peer-review

Publication Information

Output type

Research Output:
Journal Article or Conference Article in Journal
Conference article
 Peer-review

Original language

English

Journal (Volume, Issue Number)

Logical Methods in Computer Science (Volume 7, Issue 2:16)

Publication milestones

  • Published - 2011

Publication status

Published - 2011

ISSN

1860-5974

Publication IDs

  • Scopus: 79960449885

Publication metrics

PlumX

Citations
64
Captures
7