Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Concurrent Separation Logic and Operational Semantics

Vafeiadis, V. (2011). Concurrent Separation Logic and Operational Semantics. Electronic Notes in Theoretical Computer Science, 276, 335-351.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-8B6B-A Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-8B6C-8
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Vafeiadis, Viktor1, Autor
Affiliations:
1Max Planck Society, ou_persistent13              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2011
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 577079
URI: http://dx.doi.org/10.1016/j.entcs.2011.09.029
DOI: 10.1016/j.entcs.2011.09.029
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: MFPS 2011
Veranstaltungsort: Pittsburgh, PA, USA
Start-/Enddatum: 2011-05-25 - 2011-05-28

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Electronic Notes in Theoretical Computer Science
  Alternativer Titel : ENTCS
Genre der Quelle: Zeitschrift
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 276 Artikelnummer: - Start- / Endseite: 335 - 351 Identifikator: -