@article{lmcs:6553, title = {Foundations of regular coinduction}, author = {Francesco Dagnino}, url = {https://lmcs.episciences.org/6553}, doi = {10.46298/lmcs-17(4:2)2021}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 17, Issue 4}, eid = 2, year = {2021}, month = {Oct}, keywords = {Computer Science - Logic in Computer Science}, }