- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: The Journal of Logic and Algebraic Programming, 79, 2, S. 144-173
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg, Elsevier
- (when)
-
2010
- Creator
- DOI
-
10.1016/j.jlap.2009.07.002
- URN
-
urn:nbn:de:bvb:384-opus4-389793
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:42 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Guttmann, Walter
- Möller, Bernhard
- Universität Augsburg, Elsevier
Time of origin
- 2010
Other Objects (12)
Normal Design Algebra
Towards pointer algebra
Modal Design Algebra
Preface
Ideal Stream Algebra
Lazy Kleene Algebra
Unendliche Objekte und Geflechte
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
The Linear Algebra of UTP
Modal design algebra
Deductive Hardware Design: A Functional Approach
Lazy Kleene Algebra
Normal Design Algebra
Towards pointer algebra
Modal Design Algebra
Preface
Ideal Stream Algebra
Lazy Kleene Algebra
Unendliche Objekte und Geflechte
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
The Linear Algebra of UTP
Modal design algebra
Deductive Hardware Design: A Functional Approach
Lazy Kleene Algebra
Normal Design Algebra
Towards pointer algebra
Modal Design Algebra
Preface
Ideal Stream Algebra
Lazy Kleene Algebra
Unendliche Objekte und Geflechte
Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...
The Linear Algebra of UTP
Modal design algebra
Deductive Hardware Design: A Functional Approach