Parametric algebraic specifications with Gentzen formulas : free functor semantics and correctness
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
29 cm
- Extent
-
38 Bl.
- Language
-
Deutsch
- Bibliographic citation
-
Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin ; Bericht-Nr. [19]92,07
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
- (when)
-
1992
- 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:33 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
- Löwe, Michael
- Wolter, Uwe
- Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
Time of origin
- 1992
Other Objects (12)
Compositional compiler correctness via parametric simulations
Semantics of OCL Operation Specifications
Correctness, completeness, and consistency of equational data type specifications
Correctness, completeness, and consistency of equational data type specifications
Semantics of type theory : correctness, completeness and independence results
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Executable Semantics of Recursively Nestable Dialog Flow Specifications for Web Applications
Political Correctness
Parametric approximation formulas for the distributions of cost functionals in spatial stochastic networks
Compositional compiler correctness via parametric simulations
Semantics of OCL Operation Specifications
Correctness, completeness, and consistency of equational data type specifications
Correctness, completeness, and consistency of equational data type specifications
Semantics of type theory : correctness, completeness and independence results
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Executable Semantics of Recursively Nestable Dialog Flow Specifications for Web Applications
Political Correctness
Parametric approximation formulas for the distributions of cost functionals in spatial stochastic networks
Compositional compiler correctness via parametric simulations
Semantics of OCL Operation Specifications
Correctness, completeness, and consistency of equational data type specifications
Correctness, completeness, and consistency of equational data type specifications
Semantics of type theory : correctness, completeness and independence results
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Executable Semantics of Recursively Nestable Dialog Flow Specifications for Web Applications
Political Correctness