• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

TkWinHOL: A Tool for Window Inference in HOL

Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright, TkWinHOL: A Tool for Window Inference in HOL. In: Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Lecture Notes in Computer Science 971, 245–260, Springer-Verlag, 1995.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{pLaRuWri95,
  title = {TkWinHOL: A Tool for Window Inference in HOL},
  booktitle = {Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop},
  author = {Långbacka, Thomas and Ruksenas, Rimvydas and Wright, Joakim von},
  volume = {971},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  pages = {245–260},
  year = {1995},
}

Publication Forum rating of this publication: level 1

Edit publication