%0 Journal Article %1 journals/lmcs/Dagnino19 %A Dagnino, Francesco %D 2019 %J Logical Methods in Computer Science %K dblp %N 1 %T Coaxioms: flexible coinductive definitions by inference systems. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs15.html#Dagnino19 %V 15

@article{journals/lmcs/Dagnino19, added-at = {2020-01-15T00:00:00.000+0100}, author = {Dagnino, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/266a8ef15848ba93b5636fd339391eb2b/dblp}, ee = {https://doi.org/10.23638/LMCS-15(1:26)2019}, interhash = {4249ecfc849ff033588f551f91431c68}, intrahash = {66a8ef15848ba93b5636fd339391eb2b}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 1, timestamp = {2020-01-16T11:42:12.000+0100}, title = {Coaxioms: flexible coinductive definitions by inference systems.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs15.html#Dagnino19}, volume = 15, year = 2019 }