You are here: TUCS > PUBLICATIONS > Publication Search > Towards a Browsable Record of ...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Towards a Browsable Record of HOL Proofs
Jim Grundy, Thomas Långbacka, Towards a Browsable Record of HOL Proofs. TUCS Technical Reports 7, Turku Centre for Computer Science, 1996.
Abstract:
http://www.tucs.fi/Publications/techreports/TR7.php
Files:
Full publication in PDF-format
BibTeX entry:
@TECHREPORT{tGL96,
title = {Towards a Browsable Record of HOL Proofs},
author = {Grundy, Jim and Långbacka, Thomas},
number = {7},
series = {TUCS Technical Reports},
publisher = {Turku Centre for Computer Science},
year = {1996},
}