%0 Conference Paper %1 conf/csl/KolodziejczykMP16 %A Kolodziejczyk, Leszek Aleksander %A Michalewski, Henryk %A Pradic, Cécilia %A Skrzypczak, Michal %B CSL %D 2016 %E Talbot, Jean-Marc %E Regnier, Laurent %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 36:1-36:16 %T The Logical Strength of Büchi's Decidability Theorem. %U http://dblp.uni-trier.de/db/conf/csl/csl2016.html#KolodziejczykMP16 %V 62 %@ 978-3-95977-022-4

@inproceedings{conf/csl/KolodziejczykMP16, added-at = {2024-03-13T00:00:00.000+0100}, author = {Kolodziejczyk, Leszek Aleksander and Michalewski, Henryk and Pradic, Cécilia and Skrzypczak, Michal}, biburl = {https://www.bibsonomy.org/bibtex/2b1133d1c39bf36759ee2f85344839a75/dblp}, booktitle = {CSL}, crossref = {conf/csl/2016}, editor = {Talbot, Jean-Marc and Regnier, Laurent}, ee = {https://doi.org/10.4230/LIPIcs.CSL.2016.36}, interhash = {1756ae147d87b9a0b9562ed1fee37f8f}, intrahash = {b1133d1c39bf36759ee2f85344839a75}, isbn = {978-3-95977-022-4}, keywords = {dblp}, pages = {36:1-36:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T06:35:15.000+0200}, title = {The Logical Strength of Büchi's Decidability Theorem.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2016.html#KolodziejczykMP16}, volume = 62, year = 2016 }