Torben Amtoft Hansen, Thomas Nikolajsen, Jesper Larsson Träff, Neil D. Jones. Experiments with Implementations of Two Theoretical Constructions. In Albert R. Meyer, Michael A. Taitslin, editors, Logic at Botik 89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings. Volume 363 of Lecture Notes in Computer Science, pages 119-133, Springer, 1989.
@inproceedings{HansenNTJ89,
title = {Experiments with Implementations of Two Theoretical Constructions},
author = {Torben Amtoft Hansen and Thomas Nikolajsen and Jesper Larsson Träff and Neil D. Jones},
year = {1989},
researchr = {https://researchr.org/publication/HansenNTJ89},
cites = {0},
citedby = {0},
pages = {119-133},
booktitle = {Logic at Botik 89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
editor = {Albert R. Meyer and Michael A. Taitslin},
volume = {363},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-51237-3},
}