scientific article; zbMATH DE number 969067
From MaRDI portal
Publication:5284545
Recommendations
Cited in
(44)- Compactors for parameterized counting problems
- Practical algorithms for MSO model-checking on tree-decomposable graphs
- Parameterized complexity of the anchored k-core problem for directed graphs
- Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes
- Model checking disjoint-paths logic on topological-minor-free graph classes
- scientific article; zbMATH DE number 7765378 (Why is no real title available?)
- Quantified conjunctive queries on partially ordered sets
- Quantified conjunctive queries on partially ordered sets
- First-Order Model-Checking in Random Graphs and Complex Networks
- An optimal construction of Hanf sentences
- Characterising bounded expansion by neighbourhood complexity
- Algorithmic problems and hierarchies of first-order languages
- Compound logics for modification problems
- FO model checking on geometric graphs
- First-order interpretations of bounded expansion classes
- Twin-width of graphs on surfaces
- Data-compression for parametrized counting problems on sparse graphs
- On the fixed-parameter tractability of parameterized model-checking problems
- A logical approach to locality in pictures languages
- An algorithmic meta-theorem for graph modification to planarity and FOL
- FO model checking of geometric graphs
- The parameterized complexity of k-edge induced subgraphs
- Complexity framework for forbidden subgraphs. I: The framework
- Hitting Topological Minor Models in Planar Graphs is Fixed Parameter Tractable
- scientific article; zbMATH DE number 2079031 (Why is no real title available?)
- Twin-width. IV: Ordered graphs and matrices
- Efficient First-Order Model-Checking Using Short Labels
- Game-based notions of locality over finite models
- Computing thejth solution of a first-order query
- Computing dense and sparse subgraphs of weakly closed graphs
- \(\mathcal{H}\)-clique-width and a hereditary analogue of product structure
- Gaifman normal forms for counting extensions of first-order logic
- Reducing CMSO model checking to highly connected graphs
- An algorithmic meta-theorem for graph modification to planarity and FOL
- Compact labelings for efficient first-order model-checking
- Uniformly Automatic Classes of Finite Structures
- Dominating set is fixed parameter tractable in claw-free graphs
- Model checking on interpretations of classes of bounded local cliquewidth
- Learning concepts definable in first-order logic with counting
- Solving a family of multivariate optimization and decision problems on classes of bounded expansion
- Advances in algorithmic meta theorems (invited paper)
- The complexity of first-order and monadic second-order logic revisited
- Parameterized complexity of fair vertex evaluation problems
- First-order queries on classes of structures with bounded expansion
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5284545)
