%0 Conference Paper %1 conf/fscd/00020S22 %A Das, Anupam %A De, Abhishek %A Saurin, Alexis %B FSCD %D 2022 %E Felty, Amy P. %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 20:1-20:20 %T Decision Problems for Linear Logic with Least and Greatest Fixed Points. %U http://dblp.uni-trier.de/db/conf/fscd/fscd2022.html#00020S22 %V 228 %@ 978-3-95977-233-4

@inproceedings{conf/fscd/00020S22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Das, Anupam and De, Abhishek and Saurin, Alexis}, biburl = {https://www.bibsonomy.org/bibtex/2daea3fcd7eecfa3f8f31e058b9e7bcf6/dblp}, booktitle = {FSCD}, crossref = {conf/fscd/2022}, editor = {Felty, Amy P.}, ee = {https://doi.org/10.4230/LIPIcs.FSCD.2022.20}, interhash = {f838cd3e359defad78677e77f5d9b99c}, intrahash = {daea3fcd7eecfa3f8f31e058b9e7bcf6}, isbn = {978-3-95977-233-4}, keywords = {dblp}, pages = {20:1-20:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:50:49.000+0200}, title = {Decision Problems for Linear Logic with Least and Greatest Fixed Points.}, url = {http://dblp.uni-trier.de/db/conf/fscd/fscd2022.html#00020S22}, volume = 228, year = 2022 }