Interactive Theorem Proving - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319431437, 9783319431444
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proof Pearl: Bounding Least Common Multiples with Triangles

2016 ◽  
pp. 140-150
Author(s):  
Hing-Lun Chan ◽  
Michael Norrish

CoqPIE: An IDE Aimed at Improving Proof Development Productivity

2016 ◽  
pp. 491-499 ◽  
Author(s):  
Kenneth Roe ◽  
Scott Smith

Equational Reasoning with Applicative Functors

2016 ◽  
pp. 252-273 ◽  
Author(s):  
Andreas Lochbihler ◽  
Joshua Schneider
Keyword(s):  
Equational Reasoning

scholarly journals Cardinalities of Finite Relations in Coq

2016 ◽  
pp. 466-474 ◽  
Author(s):  
Paul Brunet ◽  
Damien Pous ◽  
Insa Stucke

scholarly journals An Isabelle/HOL Formalisation of Green’s Theorem

2016 ◽  
pp. 3-19 ◽  
Author(s):  
Mohammad Abdulaziz ◽  
Lawrence C. Paulson
Keyword(s):  
Green's Theorem ◽  
Green’S Theorem

scholarly journals POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl)

2016 ◽  
pp. 69-86 ◽  
Author(s):  
Fahad Ausaf ◽  
Roy Dyckhoff ◽  
Christian Urban
Keyword(s):  
Regular Expressions ◽  
Derivatives Of

Infeasible Paths Elimination by Symbolic Execution Techniques

2016 ◽  
pp. 36-51 ◽  
Author(s):  
Romain Aissat ◽  
Frédéric Voisin ◽  
Burkhart Wolff
Keyword(s):  
Symbolic Execution

scholarly journals What’s in a Theorem Name?

2016 ◽  
pp. 459-465 ◽  
Author(s):  
David Aspinall ◽  
Cezary Kaliszyk

scholarly journals Formalizing the Edmonds-Karp Algorithm

2016 ◽  
pp. 219-234 ◽  
Author(s):  
Peter Lammich ◽  
S. Reza Sefidgar
Load More ...
Sign in / Sign up

Export Citation Format

Share Document