Published in: LIPIcs, Volume 216, 30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
Anuj Dawar and Abhisekh Sankaran. MSO Undecidability for Hereditary Classes of Unbounded Clique Width. In 30th EACSL Annual Conference on Computer Science Logic (CSL 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 216, pp. 17:1-17:17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
@InProceedings{dawar_et_al:LIPIcs.CSL.2022.17, author = {Dawar, Anuj and Sankaran, Abhisekh}, title = {{MSO Undecidability for Hereditary Classes of Unbounded Clique Width}}, booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)}, pages = {17:1--17:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-218-1}, ISSN = {1868-8969}, year = {2022}, volume = {216}, editor = {Manea, Florin and Simpson, Alex}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.17}, URN = {urn:nbn:de:0030-drops-157373}, doi = {10.4230/LIPIcs.CSL.2022.17}, annote = {Keywords: clique width, Seese’s conjecture, antichain, MSO interpretation, grid} }
Published in: LIPIcs, Volume 183, 29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
Anuj Dawar and Abhisekh Sankaran. Extension Preservation in the Finite and Prefix Classes of First Order Logic. In 29th EACSL Annual Conference on Computer Science Logic (CSL 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 183, pp. 18:1-18:13, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)
@InProceedings{dawar_et_al:LIPIcs.CSL.2021.18, author = {Dawar, Anuj and Sankaran, Abhisekh}, title = {{Extension Preservation in the Finite and Prefix Classes of First Order Logic}}, booktitle = {29th EACSL Annual Conference on Computer Science Logic (CSL 2021)}, pages = {18:1--18:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-175-7}, ISSN = {1868-8969}, year = {2021}, volume = {183}, editor = {Baier, Christel and Goubault-Larrecq, Jean}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2021.18}, URN = {urn:nbn:de:0030-drops-134520}, doi = {10.4230/LIPIcs.CSL.2021.18}, annote = {Keywords: finite model theory, preservation theorems, extension closed, composition, Datalog, Ehrenfeucht-Fraisse games} }
Published in: LIPIcs, Volume 152, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
Yijia Chen and Jörg Flum. FO-Definability of Shrub-Depth. In 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 152, pp. 15:1-15:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{chen_et_al:LIPIcs.CSL.2020.15, author = {Chen, Yijia and Flum, J\"{o}rg}, title = {{FO-Definability of Shrub-Depth}}, booktitle = {28th EACSL Annual Conference on Computer Science Logic (CSL 2020)}, pages = {15:1--15:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-132-0}, ISSN = {1868-8969}, year = {2020}, volume = {152}, editor = {Fern\'{a}ndez, Maribel and Muscholl, Anca}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2020.15}, URN = {urn:nbn:de:0030-drops-116587}, doi = {10.4230/LIPIcs.CSL.2020.15}, annote = {Keywords: shrub-depth, model-checking, monadic second-order logic} }
Published in: LIPIcs, Volume 82, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
Abhisekh Sankaran. A Finitary Analogue of the Downward Löwenheim-Skolem Property. In 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 82, pp. 37:1-37:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)
@InProceedings{sankaran:LIPIcs.CSL.2017.37, author = {Sankaran, Abhisekh}, title = {{A Finitary Analogue of the Downward L\"{o}wenheim-Skolem Property}}, booktitle = {26th EACSL Annual Conference on Computer Science Logic (CSL 2017)}, pages = {37:1--37:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-045-3}, ISSN = {1868-8969}, year = {2017}, volume = {82}, editor = {Goranko, Valentin and Dam, Mads}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2017.37}, URN = {urn:nbn:de:0030-drops-77074}, doi = {10.4230/LIPIcs.CSL.2017.37}, annote = {Keywords: downward Lowenheim-Skolem theorem, trees, nested words, tree-depth, cographs, tree representation, translation schemes, composition lemma, f.p.t., log} }
Feedback for Dagstuhl Publishing