Hochschulschrift
Correctness, completeness, and consistency of equational data type specifications
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
IX, 256 Bl.
- Language
-
Englisch
- Notes
-
Berlin, Techn. Univ., Diss., 1983 (Nur als Mikrofiche f.d. Austausch)
- Keyword
-
Software
Software
- Creator
-
Padawitz, Peter
- 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:42 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.
Object type
- Hochschulschrift
Associated
- Padawitz, Peter
Other Objects (12)
Correctness, completeness, and consistency of equational data type specifications
Improving the consistency and completeness of safety requirements specifications
Semantics of type theory : correctness, completeness and independence results
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 Termination of Pattern-based Model-to-Model Transformation: Long Version
Parametric algebraic specifications with Gentzen formulas : free functor semantics and correctness
Correctness proofs and probabilistic tests for constructive specifications and functional programs
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
Fixing capital gains: symmetry, consistency and correctness in the taxation of financial instruments
Correctness, completeness, and consistency of equational data type specifications
Improving the consistency and completeness of safety requirements specifications
Semantics of type theory : correctness, completeness and independence results
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 Termination of Pattern-based Model-to-Model Transformation: Long Version
Parametric algebraic specifications with Gentzen formulas : free functor semantics and correctness
Correctness proofs and probabilistic tests for constructive specifications and functional programs
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
Fixing capital gains: symmetry, consistency and correctness in the taxation of financial instruments
Correctness, completeness, and consistency of equational data type specifications
Improving the consistency and completeness of safety requirements specifications
Semantics of type theory : correctness, completeness and independence results
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 Termination of Pattern-based Model-to-Model Transformation: Long Version
Parametric algebraic specifications with Gentzen formulas : free functor semantics and correctness
Correctness proofs and probabilistic tests for constructive specifications and functional programs
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