Hochschulschrift

Algebraic Calculi for Separation Logic

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
Augsburg, Universität Augsburg, Diss., 2014

Klassifikation
Informatik
Schlagwort
Hoare-Logik
Kleene-Algebra
Nebenläufigkeit
Programmverifikation

Ereignis
Veröffentlichung
(wo)
Augsburg
(wer)
Universität Augsburg
(wann)
2015
Urheber
Dang, Han Hing
Beteiligte Personen und Organisationen
Möller, Bernhard

URN
urn:nbn:de:bvb:384-opus4-29201
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
14.08.2025, 11:00 MESZ

Datenpartner

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

Objekttyp

  • Hochschulschrift

Beteiligte

  • Dang, Han Hing
  • Möller, Bernhard
  • Universität Augsburg

Entstanden

  • 2015

Ähnliche Objekte (12)

Algebraic Aspects of Separation Logic

Algebraic Aspects of Separation Logic

Algebraic Separation Logic

Algebraic Separation Logic

Algebraic separation logic

Algebraic separation logic

Towards Algebraic Separation Logic

Towards Algebraic Separation Logic

Towards algebraic separation logic

Towards algebraic separation logic

Relational and Algebraic Calculi for Database Preferences

Hochschulschrift

Relational and Algebraic Calculi for Database Preferences

Algebraic neighbourhood logic

Algebraic neighbourhood logic

Extended Transitive Separation Logic

Extended Transitive Separation Logic

Transitive separation logic

Transitive separation logic

Deriving Focused Lattice Calculi

Deriving Focused Lattice Calculi

Extended transitive separation logic

Extended transitive separation logic

Algebraic logic

Aufgabensammlung

Algebraic logic

Verbundene Objekte