Advances in Algorithmic Meta Theorems (Invited Paper)

Συγγραφείς: Siebertz, Sebastian, Vigny, Alexandre

Συνεισφορές: Sebastian Siebertz and Alexandre Vigny, Vigny, Alexandre

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Siebertz, Sebastian, Vigny, Alexandre

Θεματικοί όροι: 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

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2411.15365

Directed elimination games

Συγγραφείς: Engelmann, Viktor ^a, Ordyniak, Sebastian ^{b, ⁎}, Kreutzer, Stephan ^a

Πηγή: In Discrete Applied Mathematics 30 January 2016 199:187-198

Characterisations of Nowhere Dense Graphs (Invited Talk)

Συγγραφείς: Grohe, Martin, Kreutzer, Stephan, Siebertz, Sebastian

Συνεισφορές: Martin Grohe and Stephan Kreutzer and Sebastian Siebertz

Θεματικοί όροι: Graph Algorithms, Algorithmic Graph Structure Theory, Finite Model Theory, Nowhere Dense Classes of Graphs

Περιγραφή αρχείου: 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

Διαθεσιμότητα: 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

Συγγραφείς: Martin Grohe, Stephan Kreutzer, Sebastian Siebertz

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://drops.dagstuhl.de/opus/volltexte/2013/4402/pdf/44.pdf.

Θεματικοί όροι: Algorithmic Graph Structure Theory, Finite Model Theory, Nowhere Dense Classes of Graphs Digital Object Identifier 10.4230/LIPIcs.FSTTCS.2013.21 Category Inv

Περιγραφή αρχείου: 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

Διαθεσιμότητα: 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

Συγγραφείς: Siebertz, Sebastian

Συνεισφορές: Kreutzer, Stephan, Ossona de Mendez, Patrice, Král’, Daniel

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Διαθεσιμότητα: https://depositonce.tu-berlin.de/handle/11303/5326
https://doi.org/10.14279/depositonce-5011

Advances in Algorithmic Meta Theorems (Invited Paper)

Συγγραφείς: Sebastian Siebertz and Alexandre Vigny, Siebertz, Sebastian, Vigny, Alexandre

Όροι ευρετηρίου: Algorithmic meta theorems, monadic second-order logic, first-order logic, disjoint paths logic, algorithmic graph structure theory, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

Σύνδεσμος: 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)