Algebraic separation logic

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
In: The Journal of Logic and Algebraic Programming, 80, 6, S. 221-247

Ereignis
Veröffentlichung
(wo)
Augsburg
(wer)
Universität Augsburg, Elsevier
(wann)
2011
Urheber

DOI
10.1016/j.jlap.2011.04.003
URN
urn:nbn:de:bvb:384-opus4-389061
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:46 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

Entstanden

  • 2011

Ähnliche Objekte (12)

Algebraic Separation Logic

Algebraic Separation Logic

Towards Algebraic Separation Logic

Towards Algebraic Separation Logic

Algebraic neighbourhood logic

Algebraic neighbourhood logic

Extended Transitive Separation Logic

Extended Transitive Separation Logic

An Algebraic Approach to Systolic Circuits

An Algebraic Approach to Systolic Circuits

Preface

Preface

Towards pointer algebra

Towards pointer algebra

Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...

Monografie

Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...

Unendliche Objekte und Geflechte

Hochschulschrift

Unendliche Objekte und Geflechte

Transitive separation logic

Transitive separation logic

Extended transitive separation logic

Extended transitive separation logic

An algebraic approach to systolic circuits

An algebraic approach to systolic circuits

Verbundene Objekte