Algebraic Aspects of Separation Logic

zu Verbundenen Objekten

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

Erschienen in
Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg ; 2009-01

Klassifikation
Informatik

Ereignis
Veröffentlichung
(wo)
Augsburg
(wer)
Universität Augsburg
(wann)
2009
Urheber
Dang, Han-Hing

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

Datenpartner

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

Beteiligte

  • Dang, Han-Hing
  • Universität Augsburg

Entstanden

  • 2009

Ähnliche Objekte (12)

Algebraic Separation Logic

Algebraic Separation Logic

Algebraic separation logic

Algebraic separation logic

Towards Algebraic Separation Logic

Towards Algebraic Separation Logic

Algebraic Calculi for Separation Logic

Hochschulschrift

Algebraic Calculi for Separation Logic

Towards algebraic separation logic

Towards algebraic separation logic

Algebraic neighbourhood logic

Algebraic neighbourhood logic

Extended Transitive Separation Logic

Extended Transitive Separation Logic

Transitive separation logic

Transitive separation logic

Extended transitive separation logic

Extended transitive separation logic

Algebraic logic

Aufgabensammlung

Algebraic logic

Some algebraic aspects of semantic uncertainty and cognitive biases

Some algebraic aspects of semantic uncertainty and cognitive biases

Do fuzzy-logic non-linear models provide a benefit for the modelling of algebraic competency?

Do fuzzy-logic non-linear models provide a benefit for the modelling of algebraic competency?

Verbundene Objekte