Felice Cardone, Mario Coppo. Decidability Properties of Recursive Types. In Carlo Blundo, Cosimo Laneve, editors, Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings. Volume 2841 of Lecture Notes in Computer Science, pages 242-255, Springer, 2003. [doi]
@inproceedings{CardoneC03,
title = {Decidability Properties of Recursive Types},
author = {Felice Cardone and Mario Coppo},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2841&spage=242},
researchr = {https://researchr.org/publication/CardoneC03},
cites = {0},
citedby = {0},
pages = {242-255},
booktitle = {Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings},
editor = {Carlo Blundo and Cosimo Laneve},
volume = {2841},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-20216-1},
}