scientific article
zbMath1411.68045arXiv1803.11134MaRDI QIDQ3121526
Publication date: 18 March 2019
Full work available at URL: https://arxiv.org/abs/1803.11134
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
polynomial timemodular decompositionpermutation graphsgraph isomorphismlogarithmic spacedescriptive complexitygraph coloringstransductiongraph canonizationfixed-point logic with countingsymmetric transitive closure logic
Graph theory (including graph drawing) in computer science (68R10) Logic in computer science (03B70) Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Isomorphism problems in graph theory (reconstruction conjecture, etc.) and homomorphisms (subgraph embedding, etc.) (05C60) Descriptive complexity and finite models (68Q19)
This page was built for publication:
