You are here: TUCS > PUBLICATIONS > Publication Search > Representing Higher Order Logi...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Representing Higher Order Logic Proofs in HOL
Joakim von Wright, Representing Higher Order Logic Proofs in HOL. The Computer Journal 38(2), 171--179, 1995.
BibTeX entry:
@ARTICLE{jvonWright95,
title = {Representing Higher Order Logic Proofs in HOL},
author = {Wright, Joakim von},
journal = {The Computer Journal},
volume = {38},
number = {2},
pages = {171--179},
year = {1995},
}