You are here: TUCS > PUBLICATIONS > Publication Search > Structured Calculational Proof
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Structured Calculational Proof
Ralph-Johan Back, Jim Grundy, Joakim von Wright, Structured Calculational Proof. Formal Aspects of Computing 9, 469–483, 1998.
Abstract:
http://www.tucs.fi/Publications/journals/jBaGrWr97.php
BibTeX entry:
@ARTICLE{jBaGrWr98a,
title = {Structured Calculational Proof},
author = {Back, Ralph-Johan and Grundy, Jim and Wright, Joakim von},
journal = {Formal Aspects of Computing},
volume = {9},
pages = {469–483},
year = {1998},
}
Publication Forum rating of this publication: level 2