Skip to search boxSkip to navigationSkip to main content

Step-Indexed Relational Reasoning for Countable Nondeterminism

  • Jan Schwinghammer
    ,
  • Lars Birkedal
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 512-524

Publication milestones

  • Published - 2011

Publication status

Published - 2011

Publisher

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH

ISBN (Print)

978-3-939897-32-3

Publication IDs

  • Scopus: 84880233059

Host publication title

Proceedings of Computer Science Logic, 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway

Publication metrics

PlumX

Citations
2
Captures
3