%0 Conference Paper %1 conf/csl/KupkeR20 %A Kupke, Clemens %A Rot, Jurriaan %B CSL %D 2020 %E Fernández, Maribel %E Muscholl, Anca %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 26:1-26:18 %T Expressive Logics for Coinductive Predicates. %U http://dblp.uni-trier.de/db/conf/csl/csl2020.html#KupkeR20 %V 152 %@ 978-3-95977-132-0

@inproceedings{conf/csl/KupkeR20, added-at = {2023-03-21T00:00:00.000+0100}, author = {Kupke, Clemens and Rot, Jurriaan}, biburl = {https://www.bibsonomy.org/bibtex/24bbd351b40a6f4d35dd0d9e3074aa2aa/dblp}, booktitle = {CSL}, crossref = {conf/csl/2020}, editor = {Fernández, Maribel and Muscholl, Anca}, ee = {https://doi.org/10.4230/LIPIcs.CSL.2020.26}, interhash = {cba7c12814c7bd4374a5fe7bc21fbbca}, intrahash = {4bbd351b40a6f4d35dd0d9e3074aa2aa}, isbn = {978-3-95977-132-0}, keywords = {dblp}, pages = {26:1-26:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T06:35:24.000+0200}, title = {Expressive Logics for Coinductive Predicates.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2020.html#KupkeR20}, volume = 152, year = 2020 }