An extensible proof text editor (2000)
Cached
Download Links
- [www.cs.chalmers.se]
- [www.cs.chalmers.se]
- DBLP
Other Repositories/Bibliography
by
Thomas Hallgren
,
Aarne Ranta
| Venue: | In Logic for Programming and Automated Reasoning, volume 1955 of LNCS |
| Citations: | 16 - 5 self |
BibTeX
@INPROCEEDINGS{Hallgren00anextensible,
author = {Thomas Hallgren and Aarne Ranta},
title = {An extensible proof text editor},
booktitle = {In Logic for Programming and Automated Reasoning, volume 1955 of LNCS},
year = {2000},
pages = {70--84},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
