One Hierarchy Spawns Another
From MaRDI portal
Publication:4608718
DOI10.1145/3143805zbMath1407.68211OpenAlexW2767449129MaRDI QIDQ4608718
Publication date: 22 March 2018
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3143805
Analysis of algorithms and problem complexity (68Q25) Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60) Structural characterization of families of graphs (05C75) Isomorphism problems in graph theory (reconstruction conjecture, etc.) and homomorphisms (subgraph embedding, etc.) (05C60)
Related Items (2)
This page was built for publication: One Hierarchy Spawns Another