- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783764335946
3764335947
9780817635947
0817635947
- Dimensions
-
24 cm
- Extent
-
XII, 298 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturverz. S. 292 - 295
- Bibliographic citation
-
Progress in theoretical computer science ; 5
- Keyword
-
Funktionale Programmiersprache
Typentheorie
Semantik
Konstruktive Logik
- Event
-
Veröffentlichung
- (where)
-
Boston, Basel, Berlin
- (who)
-
Birkhäuser
- (when)
-
1991
- 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, 11:48 AM 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
- Streicher, Thomas
- Birkhäuser
Time of origin
- 1991
Other Objects (12)
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
Correctness, completeness, and consistency of equational data type specifications
Correctness, completeness, and consistency of equational data type specifications
Completeness for counter-doxa conditionals : using ranking semantics
Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version
Program verifier Tatzelwurm : the correctness an completeness of the generation of the verification conditions
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Parametric algebraic specifications with Gentzen formulas : free functor semantics and correctness
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)
On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version
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
Correctness, completeness, and consistency of equational data type specifications
Correctness, completeness, and consistency of equational data type specifications
Completeness for counter-doxa conditionals : using ranking semantics
Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version
Program verifier Tatzelwurm : the correctness an completeness of the generation of the verification conditions
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Parametric algebraic specifications with Gentzen formulas : free functor semantics and correctness
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)
On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version
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
Correctness, completeness, and consistency of equational data type specifications
Correctness, completeness, and consistency of equational data type specifications
Completeness for counter-doxa conditionals : using ranking semantics
Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version
Program verifier Tatzelwurm : the correctness an completeness of the generation of the verification conditions
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Parametric algebraic specifications with Gentzen formulas : free functor semantics and correctness
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)