%0 Journal Article %1 journals/lmcs/Dagnino21 %A Dagnino, Francesco %D 2021 %J Log. Methods Comput. Sci. %K dblp %N 4 %T Foundations of regular coinduction. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs17.html#Dagnino21 %V 17

@article{journals/lmcs/Dagnino21, added-at = {2023-01-24T00:00:00.000+0100}, author = {Dagnino, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/220ee86c552d4279e4223c4ac3ae6bbd8/dblp}, ee = {https://doi.org/10.46298/lmcs-17(4:2)2021}, interhash = {b211824ef7cc650c55b931c679016454}, intrahash = {20ee86c552d4279e4223c4ac3ae6bbd8}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 4, timestamp = {2024-04-09T01:50:59.000+0200}, title = {Foundations of regular coinduction.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs17.html#Dagnino21}, volume = 17, year = 2021 }