Lecture Notes in Computer Science - Types for Proofs and Programs
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540140313, 9783540391852
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Structured Proofs in Isar/HOL

2003 ◽  
pp. 259-278 ◽  
Author(s):  
Tobias Nipkow

The Not So Simple Proof-Irrelevant Model of CC

2003 ◽  
pp. 240-258 ◽  
Author(s):  
Alexandre Miquel ◽  
Benjamin Werner
Keyword(s):  
Simple Proof

A New Extraction for Coq

2003 ◽  
pp. 200-219 ◽  
Author(s):  
Pierre Letouzey

scholarly journals A Finite First-Order Presentation of Set Theory

2003 ◽  
pp. 316-330 ◽  
Author(s):  
Stéphane Vaillant
Keyword(s):  
Set Theory ◽  
First Order

Using Theory Morphisms for Implementing Formal Methods Tools

2003 ◽  
pp. 59-77
Author(s):  
Achim D. Brucker ◽  
Burkhart Wolff
Keyword(s):  
Formal Methods

scholarly journals A Unifying Approach to Recursive and Co-recursive Definitions

2003 ◽  
pp. 148-161 ◽  
Author(s):  
Pietro Di Gianantonio ◽  
Marino Miculan
Keyword(s):  
Recursive Definitions
Load More ...
Sign in / Sign up

Export Citation Format

Share Document