%0 Journal Article %1 journals/lmcs/KupkeR21 %A Kupke, Clemens %A Rot, Jurriaan %D 2021 %J Log. Methods Comput. Sci. %K dblp %N 4 %T Expressive Logics for Coinductive Predicates. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs17.html#KupkeR21 %V 17

@article{journals/lmcs/KupkeR21, added-at = {2023-03-21T00:00:00.000+0100}, author = {Kupke, Clemens and Rot, Jurriaan}, biburl = {https://www.bibsonomy.org/bibtex/2cabd21fa0d35b69e7460f03cb2eeebd4/dblp}, ee = {https://doi.org/10.46298/lmcs-17(4:19)2021}, interhash = {451fcffc0c22339aaf239aebd0e036cd}, intrahash = {cabd21fa0d35b69e7460f03cb2eeebd4}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 4, timestamp = {2024-04-09T01:50:53.000+0200}, title = {Expressive Logics for Coinductive Predicates.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs17.html#KupkeR21}, volume = 17, year = 2021 }