Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Open Access
    Datensatz exportieren als...
  • BibTeX
A New Perspective on FO Model Checking of Dense Graph Classes
ACM transactions on computational logic, 2020-10, Vol.21 (4), p.1-23
2020
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Finding Branch-Decompositions and Rank-Decompositions
SIAM journal on computing, 2008-01, Vol.38 (3), p.1012-1032
2008
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Shrub-depth: Capturing Height of Dense Graphs
Logical methods in computer science, 2019, Vol.15 (1)
2019
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Kernelization using structural parameters on sparse graph classes
Journal of computer and system sciences, 2017-03, Vol.84, p.219-242
2017
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Parameterized shifted combinatorial optimization
Journal of computer and system sciences, 2019-02, Vol.99, p.53-71
2019
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences
Logical methods in computer science, 2015-04, Vol.11, Issue 1
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Width Parameters Beyond Tree-width and their Applications
Computer journal, 2008-05, Vol.51 (3), p.326-362
2008
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Lower bounds on the complexity of MSO1 model-checking
Journal of computer and system sciences, 2014-02, Vol.80 (1), p.180-194
2014
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
On Hardness of the Joint Crossing Number
Algorithms and Computation, p.603-613
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Approximating the Crossing Number of Toroidal Graphs
Algorithms and Computation, p.148-159
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On Matroid Representability and Minor Problems
Lecture notes in computer science, 2006, p.505-516
2006
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
FO Model Checking of Interval Graphs
Logical methods in computer science, 2015-12, Vol.11, Issue 4
2015
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Exact Crossing Number Parameterized by Vertex Cover
Graph Drawing and Network Visualization, p.307-319
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Faster Existential FO Model Checking on Posets
Logical methods in computer science, 2015-12, Vol.11, Issue 4
2015
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Twin-Width and Transductions of Proper k-Mixed-Thin Graphs
Graph-Theoretic Concepts in Computer Science, 2022, Vol.13453, p.43-55
2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A parametrized algorithm for matroid branch-width
SIAM journal on computing, 2005-01, Vol.35 (2), p.259-277
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs
Mathematical and Engineering Methods in Computer Science, p.54-66
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On Matroid Properties Definable in the MSO Logic
Lecture notes in computer science, 2003, p.470-479
2003
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Kernelization Using Structural Parameters on Sparse Graph Classes
Algorithms – ESA 2013, p.529-540
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
On Degree Properties of Crossing-Critical Families of Graphs
Graph Drawing and Network Visualization, p.75-86
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The Tutte Polynomial for Matroids of Bounded Branch-Width
Combinatorics, probability & computing, 2006-05, Vol.15 (3), p.397-409
2006
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Trees, grids, and MSO decidability: From graphs to matroids
Theoretical computer science, 2006-02, Vol.351 (3), p.372-393
2006
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Crossing Number Is Hard for Cubic Graphs
Lecture notes in computer science, 2004, p.772-782
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
New Results on the Complexity of Oriented Colouring on Restricted Digraph Classes
SOFSEM 2010: Theory and Practice of Computer Science, p.428-439
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Branch-width, parse trees, and monadic second-order logic for matroids
Lecture notes in computer science, 2003, p.319-330
2003
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 53
Suche als RSS-Feed
Aktive Filter
ThemaComputer Science, Theory & Methods
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
14 weitere anzeigen...
Weniger anzeigen...
Kollektion
10 weitere anzeigen...
Weniger anzeigen...
Zeitschrift / Serie
5 weitere anzeigen...
Weniger anzeigen...