You are here: TUCS > PUBLICATIONS > Publication Search > Extending Window Inference
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Extending Window Inference
Joakim von Wright, Extending Window Inference. In: Malcolm Newey Jim Grundy (Ed.), Theorem Proving in Higher-Order Logics (TPHOLs'98), Lecture Notes in Computer Science 1479, 17–32, Springer-Verlag, 1998.
BibTeX entry:
@INPROCEEDINGS{pWright98a,
title = {Extending Window Inference},
booktitle = {Theorem Proving in Higher-Order Logics (TPHOLs'98)},
author = {Wright, Joakim von},
volume = {1479},
series = {Lecture Notes in Computer Science},
editor = {Jim Grundy, Malcolm Newey},
publisher = {Springer-Verlag},
pages = {17–32},
year = {1998},
}
Publication Forum rating of this publication: level 1