يعرض 1 - 10 نتائج من 65 نتيجة بحث عن '"Dreier, Jan"', وقت الاستعلام: 1.01s تنقيح النتائج
  1. 1
    تقرير
    Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes

    المؤلفون: Dreier, Jan, Mählmann, Nikolas, Toruńczyk, Szymon

    مصطلحات موضوعية: Mathematics - Combinatorics, Computer Science - Discrete Mathematics, Computer Science - Logic in Computer Science, Mathematics - Logic

    URL الوصول: http://arxiv.org/abs/2403.15201

    أضف إلى المفضلة
  2. 2
    مؤتمر
    Pseudorandom Finite Models

    المؤلفون: Dreier, Jan, Tucker-Foltz, Jamie

    المصدر: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2023 38th Annual ACM/IEEE Symposium on. :1-13 Jun, 2023

    Relation: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    أضف إلى المفضلة
  3. 3
    تقرير
    Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond

    المؤلفون: Dreier, Jan, Mock, Daniel, Rossmanith, Peter

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Computational Complexity, Computer Science - Discrete Mathematics, Computer Science - Data Structures and Algorithms

    URL الوصول: http://arxiv.org/abs/2307.01832

    أضف إلى المفضلة
  4. 4
    تقرير
    Approximate Evaluation of Quantitative Second Order Queries

    المؤلفون: Dreier, Jan, Ganian, Robert, Hamm, Thekla

    مصطلحات موضوعية: Computer Science - Computational Complexity, Computer Science - Discrete Mathematics, Computer Science - Data Structures and Algorithms, Computer Science - Logic in Computer Science, 68Q27, 05C85, 03B70

    URL الوصول: http://arxiv.org/abs/2305.02056

    أضف إلى المفضلة
  5. 5
    تقرير
    First-Order Model Checking on Structurally Sparse Graph Classes

    المؤلفون: Dreier, Jan, Mählmann, Nikolas, Siebertz, Sebastian

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Discrete Mathematics, Computer Science - Data Structures and Algorithms, Mathematics - Combinatorics, Mathematics - Logic

    URL الوصول: http://arxiv.org/abs/2302.03527

    أضف إلى المفضلة
  6. 6
    مؤتمر
    Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion Classes

    المؤلفون: Dreier, Jan

    المصدر: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2021 36th Annual ACM/IEEE Symposium on. :1-13 Jun, 2021

    Relation: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    View Record from ACM Digital Library
    أضف إلى المفضلة
  7. 7
    تقرير
    Combinatorial and Algorithmic Aspects of Monadic Stability

    المؤلفون: Dreier, Jan, Mählmann, Nikolas, Mouawad, Amer E., Siebertz, Sebastian, Vigny, Alexandre

    مصطلحات موضوعية: Computer Science - Discrete Mathematics, Computer Science - Logic in Computer Science, Mathematics - Combinatorics, Mathematics - Logic

    URL الوصول: http://arxiv.org/abs/2206.14509

    أضف إلى المفضلة
  8. 8
    تقرير
    Indiscernibles and Wideness in Monadically Stable and Monadically NIP Classes

    المؤلفون: Dreier, Jan, Mählmann, Nikolas, Siebertz, Sebastian, Toruńczyk, Szymon

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Discrete Mathematics, Mathematics - Combinatorics, Mathematics - Logic

    URL الوصول: http://arxiv.org/abs/2206.13765

    أضف إلى المفضلة
  9. 9
    تقرير
    A logic-based algorithmic meta-theorem for mim-width

    المؤلفون: Bergougnoux, Benjamin, Dreier, Jan, Jaffke, Lars

    مصطلحات موضوعية: Computer Science - Data Structures and Algorithms, Computer Science - Logic in Computer Science, 05C85

    URL الوصول: http://arxiv.org/abs/2202.13335

    أضف إلى المفضلة
  10. 10
    تقرير
    Model Checking on Interpretations of Classes of Bounded Local Cliquewidth

    المؤلفون: Bonnet, Édouard, Dreier, Jan, Gajarský, Jakub, Kreutzer, Stephan, Mählmann, Nikolas, Simon, Pierre, Toruńczyk, Szymon

    مصطلحات موضوعية: Computer Science - Data Structures and Algorithms, Computer Science - Discrete Mathematics, Computer Science - Logic in Computer Science, Mathematics - Combinatorics, 05C85, F.2.2

    URL الوصول: http://arxiv.org/abs/2202.13014

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء