Interactive Theorem Proving - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

13
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642396335, 9783642396342
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals MaSh: Machine Learning for Sledgehammer

2013 ◽  
pp. 35-50 ◽  
Author(s):  
Daniel Kühlwein ◽  
Jasmin Christian Blanchette ◽  
Cezary Kaliszyk ◽  
Josef Urban
Keyword(s):  
Machine Learning

scholarly journals Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation

2013 ◽  
pp. 67-83 ◽  
Author(s):  
Guillaume Claret ◽  
Lourdes del Carmen González Huesca ◽  
Yann Régis-Gianas ◽  
Beta Ziliani
Keyword(s):  
A Posteriori

Formal Reasoning about Classified Markov Chains in HOL

2013 ◽  
pp. 295-310 ◽  
Author(s):  
Liya Liu ◽  
Osman Hasan ◽  
Vincent Aravantinos ◽  
Sofiène Tahar
Keyword(s):  
Markov Chains ◽  
Formal Reasoning

scholarly journals Towards Certifying Network Calculus

2013 ◽  
pp. 484-489
Author(s):  
Etienne Mabille ◽  
Marc Boyer ◽  
Loïc Fejoz ◽  
Stephan Merz
Keyword(s):  
Network Calculus

Scalable LCF-Style Proof Translation

2013 ◽  
pp. 51-66 ◽  
Author(s):  
Cezary Kaliszyk ◽  
Alexander Krauss
Load More ...
Sign in / Sign up

Export Citation Format

Share Document