Gå til søgefeltetSpring over til navigationSpring til hovedindhold

Step-Indexed Relational Reasoning for Countable Nondeterminism

  • Jan Schwinghammer
    ,
  • 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

Sider fra-til (Antal sider)

Sider 512-524

Publikationsmilepæle

  • Udgivet - 2011

Publikationsstatus

Udgivet - 2011

Forlag

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH

ISBN (Trykt)

978-3-939897-32-3

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

Metrikker

PlumX

Antal citationer
2
Hentninger
3