You are here: TUCS > PUBLICATIONS > Publication Search > TkWinHOL: A Tool for Doing Win...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
TkWinHOL: A Tool for Doing Window Inference in HOL
Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright, TkWinHOL: A Tool for Doing Window Inference in HOL. 0, 1995.
Abstract:
http://www.tucs.fi/Publications/techreports/tLaRuWr95.php
Files:
Full publication in PDF-format
BibTeX entry:
@TECHREPORT{tLaRuWr95,
title = {TkWinHOL: A Tool for Doing Window Inference in HOL},
author = {Långbacka, Thomas and Ruksenas, Rimvydas and Wright, Joakim von},
year = {1995},
}