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

A Tool for Data Refinement

Rimvydas Ruksenas, Joakim von Wright, A Tool for Data Refinement. In: Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science 1479, 423–441, Springer-Verlag, 1998.

Abstract:

http://www.tucs.fi/Publications/proceedings/pRuWr98a.php

BibTeX entry:

@INPROCEEDINGS{pRuWr98a,
  title = {A Tool for Data Refinement},
  booktitle = {Theorem Proving in Higher Order Logics},
  author = {Ruksenas, Rimvydas and Wright, Joakim von},
  volume = {1479},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  pages = {423–441},
  year = {1998},
}

Publication Forum rating of this publication: level 1

Edit publication