Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Inbunden, Engelska, 2017

Av Germany) Grohe, Martin (RWTH Aachen University, Martin Grohe

2 799 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
This groundbreaking, yet accessible book contains original results on the interaction between graph theory and computational complexity using methods from finite model theory. As well as a wealth of new, previously unpublished results, the author also gives an account of the established results in the area.

Produktinformation

Mer från samma serie

Logic Colloquium 2006

Logic Colloquium 2006

S. Barry (University of Leeds) Cooper, Herman (Radboud Universiteit Nijmegen) Geuvers, Anand (University of Leeds) Pillay, Jouko Vaananen, S. Barry Cooper, Herman Geuvers

2 239 kr

Kurt Godel

Kurt Godel

California) Feferman, Solomon (Stanford University, Massachusetts) Parsons, Charles (Edgar Pierce Professor of Philosophy, Emeritus, Harvard University, Stephen G. (Pennsylvania State University) Simpson, Solomon Feferman, Charles Parsons, Stephen G. Simpson

2 199 kr

Simple Theories and Hyperimaginaries

Simple Theories and Hyperimaginaries

Enrique Casanovas

2 029 kr

A Framework for Priority Arguments

A Framework for Priority Arguments

Manuel (University of Connecticut) Lerman, Manuel Lerman

1 999 kr

Stable Domination and Independence in Algebraically Closed Valued Fields

Stable Domination and Independence in Algebraically Closed Valued Fields

Ontario) Haskell, Deirdre (McMaster University, Ehud (Hebrew University of Jerusalem) Hrushovski, Dugald (University of Leeds) Macpherson, Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson

669 kr

Wadge Degrees and Projective Ordinals

Wadge Degrees and Projective Ordinals

Alexander S. Kechris, Benedikt (Universiteit van Amsterdam) Lowe, Berkeley) Steel, John R. (University of California, Benedikt Löwe, John R. Steel

2 589 kr

Course in Model Theory

Course in Model Theory

Katrin Tent, Martin Ziegler, Germany) Ziegler, Martin (Albert-Ludwigs-Universitat Freiburg

999 kr

Logic Colloquium 2004

Logic Colloquium 2004

Italy) Andretta, Alessandro (Universita degli Studi di Torino, Boulder) Kearnes, Keith (University of Colorado, Italy) Zambella, Domenico (Universita degli Studi di Torino, Alessandro Andretta, Keith Kearnes, Domenico Zambella

1 929 kr

Logic Colloquium 2005

Logic Colloquium 2005

Greece) Dimitracopoulos, Costas (University of Athens, Poland) Newelski, Ludomir (Uniwersytet Wroclawski, Dag (Universitetet i Oslo) Normann, John R. Steel, Costas Dimitracopoulos, Ludomir Newelski, Dag Normann

1 949 kr

Stable Domination and Independence in Algebraically Closed Valued Fields

Stable Domination and Independence in Algebraically Closed Valued Fields

Ontario) Haskell, Deirdre (McMaster University, Ehud (Hebrew University of Jerusalem) Hrushovski, Dugald (University of Leeds) Macpherson, Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson

1 979 kr

Du kanske också är intresserad av

Model Theoretic Methods in Finite Combinatorics

Model Theoretic Methods in Finite Combinatorics

Martin Grohe, Johann A. Makowsky

1 929 kr

Parameterized and Exact Computation

Parameterized and Exact Computation

Martin Grohe, Rolf Niedermeier

729 kr

Logic and Algebraic Structures in Quantum Computing

Logic and Algebraic Structures in Quantum Computing

Jennifer (University of San Francisco) Chubb, Washington DC) Eskandarian, Ali (George Washington University, Washington DC) Harizanov, Valentina (George Washington University, Jennifer Chubb, Ali Eskandarian, Valentina Harizanov

2 359 kr

Bounded Variable Logics and Counting

Bounded Variable Logics and Counting

Germany) Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Martin Otto

1 999 kr

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs

Gregory Cherlin, New Jersey) Cherlin, Gregory (Rutgers University

1 979 kr

The Core Model Iterability Problem

The Core Model Iterability Problem

Berkeley) Steel, John R. (University of California, John R. Steel

1 999 kr

Fine Structure and Iteration Trees

Fine Structure and Iteration Trees

William J. (University of Florida) Mitchell, Los Angeles) Steel, John R. (University of California, William J. Mitchell, John R. Steel

2 029 kr

Kurt Godel

Kurt Godel

California) Feferman, Solomon (Stanford University, Massachusetts) Parsons, Charles (Edgar Pierce Professor of Philosophy, Emeritus, Harvard University, Stephen G. (Pennsylvania State University) Simpson, Solomon Feferman, Charles Parsons, Stephen G. Simpson

2 199 kr

Course in Model Theory

Course in Model Theory

Katrin Tent, Martin Ziegler, Germany) Ziegler, Martin (Albert-Ludwigs-Universitat Freiburg

999 kr

Core Model Iterability Problem
Del 8

Core Model Iterability Problem

John Steel

709 kr

Tillhör följande kategorier