scientific article; zbMATH DE number 7559449
From MaRDI portal
Publication:5089253
Cites work
- scientific article; zbMATH DE number 809155 (Why is no real title available?)
- A combinatorial problem; stability and order for models and theories in infinitary languages
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Fly-automata for checking \(\mathrm{MSO}_2\) graph properties
- From tree-decompositions to clique-width terms
- Graph minors. V. Excluding a planar graph
- Learnability and definability in trees and similar structures
- Logical description of context-free graph languages
- Monadic second-order definable graph transductions: a survey
- On the density of families of sets
- On the number of types in sparse graphs
- The structure of the models of decidable monadic theories of graphs
- Upper bounds to the clique width of graphs
- Vertex-minors, monadic second-order logic, and a conjecture by Seese
- Weighted capacitated, priority, and geometric set cover via improved quasi-uniform sampling
Cited in
(2)
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 Q5089253)