Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

A First Course in Logic An Introduction to Model Theory, Proof Theory, Computability, and Complexity

P, NP, and NP-Completeness: The Basics of Computational Complexity

Linear Logic in Computer Science

Logical Foundations of Proof Complexity

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction

Springer Proceedings in Complexity Semantic Web and Web Science (Paperback)

Computational Complexity Theory

Theory of Complexity: Definitions Models and Applications (Hardcover)

Perspectives in Logic Logical Foundations of Proof Complexity (Hardcover)

Theory of Finite and Infinite Graphs

Geometry and Complexity Theory

Perspectives in Computational Complexity

Key Concepts in Graph Theory

Sets, Functions, and Logic: An Introduction to Abstract Mathematics, Third Edition

The Classification of Countable Homogeneous Directed Graphs and Countable Homogeneous N-Tournaments

Algorithm and Design Complexity (Hardcover)

Martin Davis on Computability Computational Logic and Mathematical Foundations

The Fascinating World of Graph Theory - by Arthur Benjamin & Gary Chartrand & Ping Zhang (Paperback)

Pre-Owned Lecture Notes in Computer Science: Graph-Theoretic Concepts in Computer Science: 40th International Workshop Wg 2014 Nouan-Le-Fuzelier France June 25-27 2014. Revised Selected Papers (Paperback)

Complexity Explained

Pre-Owned Graphs as mathematical models (Hardcover) 0871502364 9780871502360

Data Structures and Algorithms, Actually Explained: A Visual Guide to Big-O, Sorting, Trees, Graphs, and Dynamic Programming — with 100+ Diagrams, Traced Examples

Lecture Notes in Computer Science Graph-Theoretic Concepts in Computer Science: 26th International Workshop Wg 2000 Konstanz Germany June 15-17 2000 P Book 1928 (Paperback)

Introduction to Languages and the Theory of Computation

Complexity, Logic, and Recursion Theory

Computers and Intractability A Guide to the Theory of NP-Completeness

Graph Algebras

Introductory Graph Theory with Applications

From Complexity in the Natural Sciences to Complexity in Operations Management Systems

Handbook of Logic in Computer Science Handbook of Logic in Computer Science: Volume 3: Semantic Structures (Hardcover)

Pre-Owned Introduction to Graph Theory (Hardcover) 0130144002 9780130144003

A First Course in Mathematical Logic and Set Theory

Quantitative Graph Theory

Algorithms Illuminated (Part 2): Graph Algorithms and Data Structures

Graphs

A First Course in Graph Theory (Dover Books on Mathematics)

Graph Theory with Applications to Engineering and Computer Science (Prentice Hall Series in Automatic Computation)

Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23

Bounded Arithmetic, Propositional Logic and Complexity Theory (Encyclopedia of Mathematics and its Applications)

Graph Theory with Applications to Engineering and Computer Science

Structure in Complexity Theory: Proceedings of the Conference held at the University of California, Berkeley, June 2-5, 1986 (Lecture Notes in

[First Edition] Graph Theory. An Introductory Course. (= Graduate Texts in Mathematics, Volume 63). Bollobas, Bela: [Hardcover]