@inproceedings{https___doi.org_10.4230_lipics.icalp.2023.119,
    doi = {10.4230/LIPICS.ICALP.2023.119},
    url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2023.119},
    author = {Braunfeld, Samuel and Dawar, Anuj and Eleftheriadis, Ioannis and Papadopoulos, Aris},
    keywords = {Model theory, finite model theory, structural graph theory, model-checking, Theory of computation → Finite Model Theory, Mathematics of computing → Combinatorics},
    language = {en},
    title = {Monadic NIP in Monotone Classes of Relational Structures},
    publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
    year = {2023},
    copyright = {Creative Commons Attribution 4.0 International license},
    date-added = {2024-10-2 6:0:26 +0100}
}

@inproceedings{https___doi.org_10.4230_lipics.icalp.2023.119, doi = {10.4230/LIPICS.ICALP.2023.119}, url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2023.119}, author = {Braunfeld, Samuel and Dawar, Anuj and Eleftheriadis, Ioannis and Papadopoulos, Aris}, keywords = {Model theory, finite model theory, structural graph theory, model-checking, Theory of computation → Finite Model Theory, Mathematics of computing → Combinatorics}, language = {en}, title = {Monadic NIP in Monotone Classes of Relational Structures}, publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, year = {2023}, copyright = {Creative Commons Attribution 4.0 International license}, date-added = {2024-10-2 6:0:26 +0100} }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge