Computability : Turing, Gödel, Church, and beyond /

Limits of computation : an introduction to the undecidable and the intractable /
by: Reiter, Edna E. (Edna Elizabeth)
Published: (2013)

Theories of computational complexity /
by: Calude, Cristian, 1952-
Published: (1988)

Complexity, logic, and recursion theory /
Published: (2019)

Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 /
Published: (1985)

Theory of computation /
by: Kozen, Dexter, 1951-
Published: (2006)

Complexity, logic, and recursion theory /
Published: (2019)

Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 /
Published: (1985)

Fundamentals of computation theory : FCT '85, Cottbus, GDR, September 9-13, 1985 /
Published: (1985)

The emergence of complexity in mathematics, physics, chemistry and biology : proceedings, Plenary Session of the Pontifical Academy of Sciences, 27-31 October 1992 /
Published: (1996)

Logic and automata : history and perspectives /
Published: (2008)

A primer on pseudorandom generators /
by: Goldreich, Oded
Published: (2010)

Transdisciplinary perspectives on complex systems : new findings and approaches /
Published: (2017)

Essays on the complexity of continuous problems /
Published: (2009)

Explaining the computational mind /
by: Miłkowski, Marcin
Published: (2013)

Elements of the theory of computation /
by: Lewis, Harry R.
Published: (1981)

Feasible mathematics II /
Published: (1995)

Descriptive complexity /
by: Immerman, Neil, 1953-
Published: (1999)

Logic and complexity /
by: Lassaigne, Richard, 1944-
Published: (2004)

Lectures on the complexity of bilinear problems /
by: De Groote, H. F. (Hans F.)
Published: (1987)

Complexity in numerical optimization /
by: Pardalos, P. M. (Panos M.), 1954-
Published: (1993)

Multiplicative complexity, convolution, and the DFT /
by: Heideman, Michael T.
Published: (1988)

Feasible mathematics II /
Published: (1995)

Infinity in logic and computation : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers /
Published: (2009)

Computational complexity and feasibility of data processing and interval computations /
Published: (1998)

Algebraic Foundations of Many-Valued Reasoning /
by: Cignoli, Roberto L. O.
Published: (2000)

Logical foundations of proof complexity /
by: Cook, Stephen, 1948-
Published: (2010)

Knapsack problems : algorithms and computer implementations /
by: Martello, Silvano
Published: (1990)

The nature of computation /
by: Moore, Cristopher
Published: (2011)

Computational complexity /
by: Wagner, K. (Klaus)
Published: (1986)

Computational complexity /
by: Papadimitriou, Christos H.
Published: (1994)

Perspectives in computation /
by: Geroch, Robert
Published: (2009)

The graph isomorphism problem : its structural complexity /
by: Köbler, Johannes, 1958-
Published: (1993)

The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine /
by: Petzold, Charles, 1953-
Published: (2008)

Limits of computation : an introduction to the undecidable and the intractable /
by: Reiter, Edna E. (Edna Elizabeth)
Published: (2013)

Computational complexity : a quantitative perspective /
by: Zimand, Marius
Published: (2004)

Theory of computational complexity /
by: Du, Dingzhu
Published: (2000)