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
- 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
-
11.03.2025, 12:33 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.
Beteiligte
- Löwe, Michael
- Wolter, Uwe
- Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
Entstanden
- 1992
Ähnliche Objekte (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