Interactive Theorem Proving - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

37
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer International Publishing

9783319089690, 9783319089706
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Unified Decision Procedures for Regular Expression Equivalence

2014 ◽  
pp. 450-466 ◽  
Author(s):  
Tobias Nipkow ◽  
Dmitriy Traytel
Keyword(s):  
Regular Expression ◽  
Decision Procedures

Formalized, Effective Domain Theory in Coq

2014 ◽  
pp. 209-225 ◽  
Author(s):  
Robert Dockins
Keyword(s):  
Domain Theory ◽  
Effective Domain

Implicational Rewriting Tactics in HOL

2014 ◽  
pp. 45-60
Author(s):  
Vincent Aravantinos ◽  
Sofiène Tahar

Collaborative Interactive Theorem Proving with Clide

2014 ◽  
pp. 467-482 ◽  
Author(s):  
Martin Ring ◽  
Christoph Lüth
Keyword(s):  
Theorem Proving ◽  
Interactive Theorem Proving

scholarly journals On the Formalization of Z-Transform in HOL

2014 ◽  
pp. 483-498 ◽  
Author(s):  
Umair Siddique ◽  
Mohamed Yousri Mahmoud ◽  
Sofiène Tahar

scholarly journals Cardinals in Isabelle/HOL

2014 ◽  
pp. 111-127 ◽  
Author(s):  
Jasmin Christian Blanchette ◽  
Andrei Popescu ◽  
Dmitriy Traytel

scholarly journals Experience Implementing a Performant Category-Theory Library in Coq

2014 ◽  
pp. 275-291 ◽  
Author(s):  
Jason Gross ◽  
Adam Chlipala ◽  
David I. Spivak
Keyword(s):  
Category Theory
Load More ...
Sign in / Sign up

Export Citation Format

Share Document