TYPES 1995 | Sciweavers

31

click to vote

TYPES
1995
Springer

147views Formal Methods» more TYPES 1995»

A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals

14 years 4 months ago

Download sqig.math.ist.utl.pt

Jan Cederquist, Sara Negri

claim paper

Read More »

51

click to vote

TYPES
1995
Springer

149views Formal Methods» more TYPES 1995»

A Natural Deduction Approach to Dynamic Logic

14 years 4 months ago

Download users.dimi.uniud.it

Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...

Furio Honsell, Marino Miculan

claim paper

Read More »

29

click to vote

TYPES
1995
Springer

106views Formal Methods» more TYPES 1995»

The Greatest Common Divisor: A Case Study for Program Extraction from Classical Proofs

14 years 4 months ago

Download www.mathematik.uni-muenchen.de

Ulrich Berger, Helmut Schwichtenberg

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers