| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Relaxation of Üresin and Dubois’ Asynchronous Fixed-Point Theory in Agda
|
Daggitt, Matthew L.
|
|
|
|
5 |
p. 857-877
|
artikel
|
| 2 |
Certified Quantum Computation in Isabelle/HOL
|
Bordg, Anthony
|
|
|
|
5 |
p. 691-709
|
artikel
|
| 3 |
Craig Interpolation with Clausal First-Order Tableaux
|
Wernhard, Christoph
|
|
|
|
5 |
p. 647-690
|
artikel
|
| 4 |
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL
|
Thiemann, René
|
|
|
|
5 |
p. 827-856
|
artikel
|
| 5 |
Formal Reasoning Under Cached Address Translation
|
Syeda, Hira Taqdees
|
|
|
|
5 |
p. 911-945
|
artikel
|
| 6 |
Graph Theory in Coq: Minors, Treewidth, and Isomorphisms
|
Doczkal, Christian
|
|
|
|
5 |
p. 795-825
|
artikel
|
| 7 |
Preface: Selected Extended Papers from Interactive Theorem Proving 2018
|
Avigad, Jeremy
|
|
|
|
5 |
p. 793-794
|
artikel
|
| 8 |
Schematic Refutations of Formula Schemata
|
Cerna, David M.
|
|
|
|
5 |
p. 599-645
|
artikel
|
| 9 |
The MetaCoq Project
|
Sozeau, Matthieu
|
|
|
|
5 |
p. 947-999
|
artikel
|
| 10 |
Verified Analysis of Random Binary Tree Structures
|
Eberl, Manuel
|
|
|
|
5 |
p. 879-910
|
artikel
|
Tijdschrift beschrijving