Logical Approaches to Computational Barriers

DOI10.1007/11780342zbMath1145.68432OpenAlexW4255986326WikidataQ55968647 ScholiaQ55968647MaRDI QIDQ5898831

Johann A. Makowsky

Publication date: 30 April 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11780342

Mathematics Subject Classification ID

Graph theory (05C99) Descriptive complexity and finite models (68Q19)

Related Items (3)

The enumeration of vertex induced subgraphs with respect to the number of components ⋮ From a zoo to a zoology: Towards a general theory of graph polynomials ⋮ From Hilbert's program to a logic tool box

This page was built for publication: Logical Approaches to Computational Barriers