%0 Conference Paper %1 conf/fscd/000221 %A Das, Anupam %B FSCD %D 2021 %E Kobayashi, Naoki %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 29:1-29:23 %T On the Logical Strength of Confluence and Normalisation for Cyclic Proofs. %U http://dblp.uni-trier.de/db/conf/fscd/fscd2021.html#000221 %V 195 %@ 978-3-95977-191-7

@inproceedings{conf/fscd/000221, added-at = {2023-09-30T00:00:00.000+0200}, author = {Das, Anupam}, biburl = {https://www.bibsonomy.org/bibtex/277c20128d954f6d26049c2cb11a2c583/dblp}, booktitle = {FSCD}, crossref = {conf/fscd/2021}, editor = {Kobayashi, Naoki}, ee = {https://doi.org/10.4230/LIPIcs.FSCD.2021.29}, interhash = {e342b3aefb948680a3f2e0b366a2d046}, intrahash = {77c20128d954f6d26049c2cb11a2c583}, isbn = {978-3-95977-191-7}, keywords = {dblp}, pages = {29:1-29:23}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:50:57.000+0200}, title = {On the Logical Strength of Confluence and Normalisation for Cyclic Proofs.}, url = {http://dblp.uni-trier.de/db/conf/fscd/fscd2021.html#000221}, volume = 195, year = 2021 }