You are here: TUCS > PUBLICATIONS > Publication Search > Encoding, Decoding, and Data R...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Encoding, Decoding, and Data Refinement
Ralph-Johan Back, Joakim von Wright, Encoding, Decoding, and Data Refinement. Formal Aspects of Computing , 2000.
Abstract:
http://www.tucs.fi/Publications/journals/jBaWrb.php
BibTeX entry:
@ARTICLE{jBaWrb,
title = {Encoding, Decoding, and Data Refinement},
author = {Back, Ralph-Johan and Wright, Joakim von},
journal = {Formal Aspects of Computing},
year = {2000},
}
Publication Forum rating of this publication: level 2