Výsledky vyhľadávania - "algorithmic graph structure theory"

Advances in Algorithmic Meta Theorems (Invited Paper)

Autori: Siebertz, Sebastian Vigny, Alexandre Sebastian Siebertz and Alexandre Vigny

Prispievatelia: Siebertz, Sebastian Vigny, Alexandre Sebastian Siebertz and Alexandre Vigny

Predmety: Mathematics of computing → Graph theory, algorithmic graph structure theory, monadic second-order logic, [INFO] Computer Science [cs], ddc:004, Theory of computation → Finite Model Theory, Algorithmic meta theorems, first-order logic, disjoint paths logic

Popis súboru: application/pdf

Prístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2024.2
https://hal.science/hal-04997090v1
https://doi.org/10.4230/lipics.fsttcs.2024.2

Advances in Algorithmic Meta Theorems

Autori: Siebertz, Sebastian Vigny, Alexandre

Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, algorithmic graph structure theory, Discrete Mathematics (cs.DM), monadic second-order logic, Mathematics - Logic, disjoint paths logic, Logic in Computer Science (cs.LO), FOS: Mathematics, Mathematics - Combinatorics, Combinatorics (math.CO), Logic (math.LO), Computer Science - Discrete Mathematics, Algorithmic meta theorems, first-order logic

Prístupová URL adresa: http://arxiv.org/abs/2411.15365

Characterisations of Nowhere Dense Graphs (Invited Talk)

Autori: Grohe, Martin Kreutzer, Stephan Siebertz, Sebastian a ďalší

Prispievatelia: Grohe, Martin Kreutzer, Stephan Siebertz, Sebastian a ďalší

Predmety: Graph Algorithms, Algorithmic Graph Structure Theory, Finite Model Theory, Nowhere Dense Classes of Graphs

Popis súboru: application/pdf

Relation: Is Part Of LIPIcs, Volume 24, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2013.21

Dostupnosť: https://doi.org/10.4230/LIPIcs.FSTTCS.2013.21
https://nbn-resolving.org/urn:nbn:de:0030-drops-44029
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2013.21

Characterisations of Nowhere Dense Graphs

Autori: Martin Grohe Stephan Kreutzer Sebastian Siebertz a ďalší

Prispievatelia: Martin Grohe Stephan Kreutzer Sebastian Siebertz a ďalší

Zdroj: http://drops.dagstuhl.de/opus/volltexte/2013/4402/pdf/44.pdf.

Predmety: Algorithmic Graph Structure Theory, Finite Model Theory, Nowhere Dense Classes of Graphs Digital Object Identifier 10.4230/LIPIcs.FSTTCS.2013.21 Category Inv

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.322; http://drops.dagstuhl.de/opus/volltexte/2013/4402/pdf/44.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.322
http://drops.dagstuhl.de/opus/volltexte/2013/4402/pdf/44.pdf

Nowhere dense classes of graphs ; characterisations and algorithmic meta-theorems ; Nowhere Dense Klassen von Graphen ; Charakterisierungen und algorithmische Meta-Sätze

Autori: Siebertz, Sebastian Kreutzer, Stephan Ossona de Mendez, Patrice a ďalší

Prispievatelia: Siebertz, Sebastian Kreutzer, Stephan Ossona de Mendez, Patrice a ďalší

Predmety: 510 Mathematik, 005 Computerprogrammierung, Programme, Daten, graph theory, parameterized complexity theory, finite model theory, algorithmic graph structure theory, first-order logic, Meta-Theorems, Graphentheorie, parametrisierte Komplexitätstheorie, endliche Modelltheorie, algorithmische Graphentheorie, Prädikatenlogik, Meta-Sätze

Popis súboru: application/pdf

Dostupnosť: https://depositonce.tu-berlin.de/handle/11303/5326
https://doi.org/10.14279/depositonce-5011

Advances in Algorithmic Meta Theorems (Invited Paper)

Autori: Sebastian Siebertz and Alexandre Vigny Siebertz, Sebastian Vigny, Alexandre

Témy: Algorithmic meta theorems, monadic second-order logic, first-order logic, disjoint paths logic, algorithmic graph structure theory, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2024.2
Is Part Of LIPIcs, Volume 323, 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024)