W. Ploegaerts, Luc J. M. Claesen, Hugo De Man. Defining Recursive Functions in HOL. In Myla Archer, Jeffrey J. Joyce, Karl N. Levitt, Phillip J. Windley, editors, Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA. pages 358-366, IEEE Computer Society, 1991.
@inproceedings{PloegaertsCM91,
title = {Defining Recursive Functions in HOL},
author = {W. Ploegaerts and Luc J. M. Claesen and Hugo De Man},
year = {1991},
researchr = {https://researchr.org/publication/PloegaertsCM91},
cites = {0},
citedby = {0},
pages = {358-366},
booktitle = {Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA},
editor = {Myla Archer and Jeffrey J. Joyce and Karl N. Levitt and Phillip J. Windley},
publisher = {IEEE Computer Society},
}