- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Lecture Notes in Computer Science, 1074, S. 163-184
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
1996
- Event
-
Veröffentlichung
- (who)
-
Springer
- (when)
-
1996
- Creator
- DOI
-
10.1007/3-540-61254-8_25
- URN
-
urn:nbn:de:bvb:384-opus4-235076
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:49 AM CEST
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
- Möller, Bernhard
- Universität Augsburg
- Springer
Time of origin
- 1996
Other Objects (12)
Knowledge and games in modal semirings
Derivation of graph and pointer algorithms
Algebraic calculation of graph and sorting algorithms
Ordered and continuous models of higher-order specifications
Knowledge and Games in Modal Semirings
Towards an algebra of hybrid systems
Building structured theories
Ideal stream algebra
Lazy Kleene Algebra
Deductive hardware design: a functional approach
The linear algebra of UTP
The Linear Algebra of UTP
Knowledge and games in modal semirings
Derivation of graph and pointer algorithms
Algebraic calculation of graph and sorting algorithms
Ordered and continuous models of higher-order specifications
Knowledge and Games in Modal Semirings
Towards an algebra of hybrid systems
Building structured theories
Ideal stream algebra
Lazy Kleene Algebra
Deductive hardware design: a functional approach
The linear algebra of UTP
The Linear Algebra of UTP
Knowledge and games in modal semirings
Derivation of graph and pointer algorithms
Algebraic calculation of graph and sorting algorithms
Ordered and continuous models of higher-order specifications
Knowledge and Games in Modal Semirings
Towards an algebra of hybrid systems
Building structured theories
Ideal stream algebra
Lazy Kleene Algebra
Deductive hardware design: a functional approach
The linear algebra of UTP