Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540425250, 9783540447559

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Certified Polynomial-Based Decision Procedure for Propositional Logic

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/3-540-44755-5_21 ◽

2007 ◽

pp. 297-312 ◽

Cited By ~ 1

Author(s):

Inmaculada Medina-Bulo ◽

1Francisco Palomo-Lozano ◽

José A. Alonso-Jiménez

Keyword(s):

Propositional Logic ◽

Decision Procedure

Download Full-text

Representing Hierarchical Automata in Interactive Theorem Provers

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/3-540-44755-5_17 ◽

2001 ◽

pp. 233-248 ◽

Cited By ~ 5

Author(s):

Steffen Helke ◽

Florian Kammüller

Keyword(s):

Theorem Provers ◽

Interactive Theorem Provers

Download Full-text

Certifying the Fast Fourier Transform with Coq

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/3-540-44755-5_12 ◽

2001 ◽

pp. 154-168 ◽

Cited By ~ 5

Author(s):

Venanzio Capretta

Keyword(s):

Fourier Transform ◽

Fast Fourier Transform

Download Full-text

JavaCard Program Verification

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/3-540-44755-5_1 ◽

2001 ◽

pp. 1-3 ◽

Cited By ~ 2

Author(s):

Bart Jacobs

Keyword(s):

Program Verification

Download Full-text

A Generic Library for Floating-Point Numbers and Its Application to Exact Computing

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/3-540-44755-5_13 ◽

2001 ◽

pp. 169-184 ◽

Cited By ~ 36

Author(s):

Marc Daumas ◽

Laurence Rideau ◽

Laurent Théry

Keyword(s):

Floating Point ◽

Generic Library ◽

Floating Point Numbers

Download Full-text

Mechanical Proofs about a Non-repudiation Protocol

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/3-540-44755-5_8 ◽

2001 ◽

pp. 91-104 ◽

Cited By ~ 20

Author(s):

Giampaolo Bella ◽

Lawrence C. Paulson

Download Full-text

Proving Hybrid Protocols Correct

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/3-540-44755-5_9 ◽

2001 ◽

pp. 105-120 ◽

Cited By ~ 5

Author(s):

Mark Bickford ◽

Christoph Kreitz ◽

Robbert van Renesse ◽

Xiaoming Liu

Keyword(s):

Hybrid Protocols

Download Full-text

Formalizing Convex Hull Algorithms

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/3-540-44755-5_24 ◽

2001 ◽

pp. 346-361 ◽

Cited By ~ 21

Author(s):

David Pichardie ◽

Yves Bertot

Keyword(s):

Convex Hull

Download Full-text

Predicate Subtyping with Predicate Sets

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/3-540-44755-5_19 ◽

2001 ◽

pp. 265-280 ◽

Cited By ~ 3

Author(s):

Joe Hurd

Download Full-text

Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/3-540-44755-5_14 ◽

2001 ◽

pp. 185-200 ◽

Cited By ~ 3

Author(s):

Louise A. Dennis ◽

Alan Smaill

Keyword(s):

Higher Order ◽

Order Domain

Download Full-text

Lecture Notes in Computer Science - Theorem Proving in Higher Order LogicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Certified Polynomial-Based Decision Procedure for Propositional Logic

Representing Hierarchical Automata in Interactive Theorem Provers

Certifying the Fast Fourier Transform with Coq

JavaCard Program Verification

A Generic Library for Floating-Point Numbers and Its Application to Exact Computing

Mechanical Proofs about a Non-repudiation Protocol

Proving Hybrid Protocols Correct

Formalizing Convex Hull Algorithms

Predicate Subtyping with Predicate Sets

Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics
Latest Publications