Theorem Reuse by Proof Term Transformation (2004)
Cached
Download Links
- [www.ifi.uio.no]
- [www.informatik.uni-bremen.de]
- [www.informatik.uni-bremen.de]
- [www.informatik.uni-bremen.de]
- [home.ifi.uio.no]
- [www.ifi.uio.no]
- DBLP
Other Repositories/Bibliography
by
Einar Broch Johnsen
,
Christoph Lüth
| Citations: | 8 - 2 self |
BibTeX
@MISC{Johnsen04theoremreuse,
author = {Einar Broch Johnsen and Christoph Lüth},
title = {Theorem Reuse by Proof Term Transformation},
year = {2004}
}
Bookmark
 |
 |
 |
 |
 |
 |
