Hochschulschrift
Partial algebras for representing semantics of information processing
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
206 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Hamburg, Univ., Fachbereich Informatik, Habil.-Schr., 1978
- Bibliographic citation
-
Bericht / Universität Hamburg ; Nr. 76
- Event
-
Veröffentlichung
- (where)
-
Hamburg
- (who)
-
Fachbereich Informatik, Univ.
- (when)
-
1980
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:17 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.
Object type
- Hochschulschrift
Associated
- Kupka, Ingbert
- Fachbereich Informatik, Univ.
Time of origin
- 1980
Other Objects (12)
Hyperequational theory for partial algebras
Partial order semantics and read arcs
Quasivarieties of partial algebras : a unifying approach towards a two-valued model theory for partial algebras
Initial computability, algebraic specifications, and partial algebras
Algebras of modal operators and partial correctness
Compositional partial order semantics of Petri boxes
Partial order semantics of types of Nets
Semantics - typology, diachrony and processing
Poisson vertex algebras and Hamiltonian partial differential equations
Process semantics of Petri nets over partial algebra
Modular construction and partial order semantics of Petri nets
Derandomizing probabilistic semantics through Eilenberg-Moore algebras for the Giry monad
Hyperequational theory for partial algebras
Partial order semantics and read arcs
Quasivarieties of partial algebras : a unifying approach towards a two-valued model theory for partial algebras
Initial computability, algebraic specifications, and partial algebras
Algebras of modal operators and partial correctness
Compositional partial order semantics of Petri boxes
Partial order semantics of types of Nets
Semantics - typology, diachrony and processing
Poisson vertex algebras and Hamiltonian partial differential equations
Process semantics of Petri nets over partial algebra
Modular construction and partial order semantics of Petri nets
Derandomizing probabilistic semantics through Eilenberg-Moore algebras for the Giry monad
Hyperequational theory for partial algebras
Partial order semantics and read arcs
Quasivarieties of partial algebras : a unifying approach towards a two-valued model theory for partial algebras
Initial computability, algebraic specifications, and partial algebras
Algebras of modal operators and partial correctness
Compositional partial order semantics of Petri boxes
Partial order semantics of types of Nets
Semantics - typology, diachrony and processing
Poisson vertex algebras and Hamiltonian partial differential equations
Process semantics of Petri nets over partial algebra
Modular construction and partial order semantics of Petri nets