1. (100%) HOLCF: Higher Order Logic of Computable Functions - Franz Regensburger
. This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOL ...
(ps) - 31-mar-2009

2. (100%) HOLCF: Higher Order Logic of - Franz Regensburger
This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLCF ...
(pdf) - 31-mar-2009

3. (100%) The calculus of Spectrum - Franz Regensburger
In this paper I present the logical calculus for the specification language Spectrum 93b]. It is a t ...
(pdf) - 31-mar-2009

4. (100%) HOLCF: Higher Order Logic of Computable Functions - Franz Regensburger
. This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HO ...
(application/postscript) - 28-jul-2009

5. (100%) HOLCF: Higher Order Logic of Computable Functions - Franz Regensburger
This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLC ...
(application/pdf) - 29-jul-2009

6. (100%) The calculus of Spectrum - Franz Regensburger
In this paper I present the logical calculus for the specification language Spectrum 93b]. It i ...
(application/pdf) - 14-ago-2009

7. (80%) The Logical Framework of SPECTRUM - Radu Grosu,Franz Regensburger
The Spectrum project concentrates on the process of developing well-structured, precise system speci ...
(ps) - 31-mar-2009

8. (80%) The Semantics of SPECTRUM - Radu Grosu,Franz Regensburger
. The Spectrum project concentrates on the process of developing well-structured, precise system spe ...
(ps) - 31-mar-2009

9. (80%) The Logical Framework of - Radu Grosu,Franz Regensburger
The Spectrum project concentrates on the process of developing well-structured, precise system speci ...
(ps) - 31-mar-2009

10. (80%) The Logical Framework of - Radu Grosu,Franz Regensburger
project concentrates on the process of developing well-structured, precise system specifications. Sp ...
(pdf) - 31-mar-2009

Página de resultados:
1  2  Siguiente