- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technical Reports ; TR-1996-007
- Classification
-
Informatik
- Keyword
-
Bisimulation
- Event
-
Veröffentlichung
- (where)
-
Mannheim
- (who)
-
Universitätsbibliothek Mannheim
- (when)
-
1996
- Creator
-
Majster-Cederbaum, Mila
Roggenbach, Markus
- URN
-
urn:nbn:de:bsz:180-madoc-7937
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:52 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
- Majster-Cederbaum, Mila
- Roggenbach, Markus
- Universitätsbibliothek Mannheim
Time of origin
- 1996
Other Objects (12)
Two characterizations of consistency
Characterizations of two extended Walras solutions for open economies
Structural characterizations of two tetrahydromethanopterin binding enzymes from methanogenic Archaea
Characterizations of native spaces
Characterizations of Network Power Measures
Characterizations of inner product spaces
Characterizations of G-tube domains
More on Parametric Characterizations of Risk Aversion and Prudence
Primal characterizations of combinatorial optimization problems
Satisfiability characterizations of upward planarity problems
Characterizations of Orthogonal Polynomials and Harmonic Analysis on Polynomial Hypergroups
Characterizations of intrinsic volumes on convex bodies and convex functions
Two characterizations of consistency
Characterizations of two extended Walras solutions for open economies
Structural characterizations of two tetrahydromethanopterin binding enzymes from methanogenic Archaea
Characterizations of native spaces
Characterizations of Network Power Measures
Characterizations of inner product spaces
Characterizations of G-tube domains
More on Parametric Characterizations of Risk Aversion and Prudence
Primal characterizations of combinatorial optimization problems
Satisfiability characterizations of upward planarity problems
Characterizations of Orthogonal Polynomials and Harmonic Analysis on Polynomial Hypergroups
Characterizations of intrinsic volumes on convex bodies and convex functions
Two characterizations of consistency
Characterizations of two extended Walras solutions for open economies
Structural characterizations of two tetrahydromethanopterin binding enzymes from methanogenic Archaea
Characterizations of native spaces
Characterizations of Network Power Measures
Characterizations of inner product spaces
Characterizations of G-tube domains
More on Parametric Characterizations of Risk Aversion and Prudence
Primal characterizations of combinatorial optimization problems
Satisfiability characterizations of upward planarity problems
Characterizations of Orthogonal Polynomials and Harmonic Analysis on Polynomial Hypergroups