Abstract | ||
---|---|---|
AbstractThis special issue collects current efforts towards the construction of formal proofs with the use of interactive theorem provers, which combine formal proof-checking and proof-finding tools with human guidance. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1007/s10817-016-9363-7 | Periodicals |
Keywords | DocType | Volume |
Formal verification,Interactive theorem proving,Formal logic | Journal | 56 |
Issue | ISSN | Citations |
3 | 0168-7433 | 0 |
PageRank | References | Authors |
0.34 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gerwin Klein | 1 | 1450 | 87.47 |
Ruben Gamboa | 2 | 113 | 43.92 |