Bruno Courcelle. Equivalences and Transformations of Recursive Definitions. In 26th Annual Symposium on Foundations of Computer Science, 21-23 October 1985, Portland, Oregon, USA. pages 354-359, IEEE, 1985.
@inproceedings{Courcelle85:0,
title = {Equivalences and Transformations of Recursive Definitions},
author = {Bruno Courcelle},
year = {1985},
tags = {transformation},
researchr = {https://researchr.org/publication/Courcelle85%3A0},
cites = {0},
citedby = {0},
pages = {354-359},
booktitle = {26th Annual Symposium on Foundations of Computer Science, 21-23 October 1985, Portland, Oregon, USA},
publisher = {IEEE},
}