scientific article; zbMATH DE number 969067
From MaRDI portal
Publication:5284545
Recommendations
Cited in
(34)- Uniformly Automatic Classes of Finite Structures
- Compact labelings for efficient first-order model-checking
- Hitting Topological Minor Models in Planar Graphs is Fixed Parameter Tractable
- The complexity of first-order and monadic second-order logic revisited
- Data-compression for parametrized counting problems on sparse graphs
- On the fixed-parameter tractability of parameterized model-checking problems
- Gaifman normal forms for counting extensions of first-order logic
- FO model checking on geometric graphs
- Quantified conjunctive queries on partially ordered sets
- Quantified conjunctive queries on partially ordered sets
- Computing thejth solution of a first-order query
- An optimal construction of Hanf sentences
- Compactors for parameterized counting problems
- Model checking on interpretations of classes of bounded local cliquewidth
- scientific article; zbMATH DE number 2079031 (Why is no real title available?)
- Characterising bounded expansion by neighbourhood complexity
- FO model checking of geometric graphs
- Reducing CMSO model checking to highly connected graphs
- scientific article; zbMATH DE number 7765378 (Why is no real title available?)
- Computing dense and sparse subgraphs of weakly closed graphs
- First-order interpretations of bounded expansion classes
- The parameterized complexity of \(k\)-edge induced subgraphs
- Parameterized complexity of fair vertex evaluation problems
- Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes
- Algorithmic problems and hierarchies of first-order languages
- An algorithmic meta-theorem for graph modification to planarity and FOL
- Practical algorithms for MSO model-checking on tree-decomposable graphs
- Game-based notions of locality over finite models
- Parameterized complexity of the anchored \(k\)-core problem for directed graphs
- Efficient First-Order Model-Checking Using Short Labels
- A logical approach to locality in pictures languages
- First-Order Model-Checking in Random Graphs and Complex Networks
- First-order queries on classes of structures with bounded expansion
- Dominating set is fixed parameter tractable in claw-free graphs
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)
