Journal article 1253 views 225 downloads
A light-weight integration of automated and interactive theorem proving
Karim Kanso,
Anton Setzer 
Mathematical Structures in Computer Science, Volume: 26, Issue: 01, Pages: 129 - 153
Swansea University Author:
Anton Setzer
-
PDF | Accepted Manuscript
Download (307.84KB)
DOI (Published version): 10.1017/S0960129514000140
Abstract
A light-weight integration of automated and interactive theorem proving
| Published in: | Mathematical Structures in Computer Science |
|---|---|
| ISSN: | 0960-1295 1469-8072 |
| Published: |
2014
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa21469 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Issue: |
01 |
|---|---|
| Start Page: |
129 |
| End Page: |
153 |