%0 Conference Paper %1 conf/calco/MartiSV15 %A Marti, Johannes %A Seifan, Fatemeh %A Venema, Yde %B CALCO %D 2015 %E Moss, Lawrence S. %E Sobocinski, Pawel %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 238-252 %T Uniform Interpolation for Coalgebraic Fixpoint Logic. %U http://dblp.uni-trier.de/db/conf/calco/calco2015.html#MartiSV15 %V 35 %@ 978-3-939897-84-2

@inproceedings{conf/calco/MartiSV15, added-at = {2022-10-02T00:00:00.000+0200}, author = {Marti, Johannes and Seifan, Fatemeh and Venema, Yde}, biburl = {https://www.bibsonomy.org/bibtex/2d32e73e8eea00cf353ef7cc1bd81fc0e/dblp}, booktitle = {CALCO}, crossref = {conf/calco/2015}, editor = {Moss, Lawrence S. and Sobocinski, Pawel}, ee = {https://doi.org/10.4230/LIPIcs.CALCO.2015.238}, interhash = {00d5043dcfe3c92167e2540b2cc1c62a}, intrahash = {d32e73e8eea00cf353ef7cc1bd81fc0e}, isbn = {978-3-939897-84-2}, keywords = {dblp}, pages = {238-252}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T04:27:03.000+0200}, title = {Uniform Interpolation for Coalgebraic Fixpoint Logic.}, url = {http://dblp.uni-trier.de/db/conf/calco/calco2015.html#MartiSV15}, volume = 35, year = 2015 }