Algebraic neighbourhood 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, 76, 1, S. 35-59

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

DOI
10.1016/j.jlap.2007.10.004
URN
urn:nbn:de:bvb:384-opus4-390845
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:47 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

  • 2008

Ähnliche Objekte (12)

Extended transitive separation logic

Extended transitive separation logic

Algebraic Separation Logic

Algebraic Separation Logic

Geographic wayfinders and space-time algebra

Geographic wayfinders and space-time algebra

Kleene getting lazy

Kleene getting lazy

Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra

Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra

Calculating with acyclic and cyclic lists

Calculating with acyclic and cyclic lists

Towards Algebraic Separation Logic

Towards Algebraic Separation Logic

Algebraic separation logic

Algebraic separation logic

An Algebraic Approach to Systolic Circuits

An Algebraic Approach to Systolic Circuits

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

On nothing [Editorial]

On nothing [Editorial]

Verbundene Objekte