Text
Parametric algebraic specifications with Gentzen formulas : free functor semantics and correctness
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
29 cm
- Umfang
-
38 Bl.
- Sprache
-
Deutsch
- Erschienen in
-
Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin ; Bericht-Nr. [19]92,07
- Reihe
-
Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin, Fachbereich 13, Informatik; Bericht-Nr. [19]92,07
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
- (wann)
-
1992
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
- 17.02.2026, 13:11 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Text
Beteiligte
- Löwe, Michael (Verfasser)
- Wolter, Uwe (Verfasser)
- Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
Entstanden
- 1992
Ähnliche Objekte (12)
Semantics of OCL Operation Specifications
Compositional compiler correctness via parametric simulations
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
Proportions, Constraints and Semantics for a Parametric Model
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
Semantics of OCL Operation Specifications
Compositional compiler correctness via parametric simulations
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
Proportions, Constraints and Semantics for a Parametric Model
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
Semantics of OCL Operation Specifications
Compositional compiler correctness via parametric simulations
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
Proportions, Constraints and Semantics for a Parametric Model
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