Davide Ancona, Pietro Barbieri, Elena Zucca. Equality of Corecursive Streams Defined by Finitary Equational Systems. In Ugo Dal Lago, Daniele Gorla, editors, Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022. Volume 3284 of CEUR Workshop Proceedings, pages 86-98, CEUR-WS.org, 2022. [doi]
@inproceedings{AnconaBZ22-0,
title = {Equality of Corecursive Streams Defined by Finitary Equational Systems},
author = {Davide Ancona and Pietro Barbieri and Elena Zucca},
year = {2022},
url = {http://ceur-ws.org/Vol-3284/4069.pdf},
researchr = {https://researchr.org/publication/AnconaBZ22-0},
cites = {0},
citedby = {0},
pages = {86-98},
booktitle = {Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022},
editor = {Ugo Dal Lago and Daniele Gorla},
volume = {3284},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}