Bounded arithmetic/

Main Author:	Buss, Samuel R.
Format:	Book
Language:	English
Published:	Napoli: Bibliopolis, c1986
Series:	Studies in Proof theory ; 3
Subjects:	Constructive mathematics Computational complexity

Similar Items

Bounded arithmetic, propositional logic, and complexity theory /
by: Krajicek, Jan
Published: (1995)

Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 /
Published: (1998)

Bounded queries in recursion theory/
by: Gasarch, William I.
Published: (1999)

Proof complexity and feasible arithmetics :DIMACS workshop, April 21-24, 1996 /
Published: (1998)

Arithmetic of complex manifolds : proceedings of a conference held in Erlangen, FRG, May 27-31, 1988 /
Published: (1989)

Predicative arithmetic /
by: Nelson, Edward, 1932-

Models of Parallel Computation and Parallel Complexity/
by: Λεντάρης, Γιώργος
Published: (2010)

Computability Turing, Gödel, Church, and beyond /
Published: (2013)

Randomness and complexity from Leibniz to Chaitin /
Published: (2007)

Complexity and postmodernism understanding complex systems /
by: Cilliers, Paul, 1956-2011.
Published: (2002)

Complexes associated to two vectors and a rectangular matrix/
by: Kustin, Andrew R., 1953-
Published: (2000)

Feasible mathematics II /
Published: (1995)

Berechenbarkeit, Komplexitat, Logik : eine Einfuhrung in Algorithmen, Sprachen und Kalkule unter besonderer Berucksichtigung ihrer Komplexitat /
by: Borger, Egon
Published: (1985)

Parameterized complexity/
by: Downey, R.G.
Published: (1999)

Predicative arithmetic/
by: Nelson, Edward
Published: (1986)

Complexity and postmodernism: understanding complex systems/
by: Cilliers, Paul, 1956-
Published: (1998)

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

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers /
Published: (2001)

Computability, complexity, logic/
by: Bo?rger, E. 1946-
Published: (1989)

Online computation and competitive analysis /
by: Borodin, Allan
Published: (1998)

Theory of computation/
by: Wood, Derick, 1940-
Published: (1987)

Computers and intractability :a guide to the theory of NP-completeness /
by: Garey, Michael R.
Published: (1979)

Στοιχεία θεωρίας υπολογισμού/
by: Lewis, Harry R.
Published: (2005)

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

The pillars of computation theory : state, encoding, nondeterminism /
by: Rosenberg, Arnold L., 1941-
Published: (2010)

Introduction to the theory of complexity /
by: Bovet, D.
Published: (1993)

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

Complexity and information /
by: Traub, J. F. 1932-
Published: (1998)

Computational complexity : a modern approach /
by: Arora, Sanjeev
Published: (2009)

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

Structural complexity I /
by: Balcázar, José Luis
Published: (1995)

Complexity explained/
by: Erdi, Peter
Published: (2008)

Proceedings of the Twenty-Ninth Annual ACM Symposium on the Theory of Computing El Paso, Texas, May 4-6, 1997 /
Published: (1997)

Computational complexity : a conceptual perspective /
by: Goldreich, Oded
Published: (2008)

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

Aspects of complexity minicourses in algorithmics, complexity and computational algebra : mathematics workshop, Kaikoura, January 7-15, 2000 /
Published: (2001)

Theory of automata, formal languages and computation
by: Xavier, S. P. Eugene.
Published: (2005)

Theory of computational complexity /
by: Du, Dingzhu,

Complexity theory retrospective II/
Published: (1997)

Structural complexity/
by: Balcazar, Jose Luis
Published: (1988)

Cannot write session to /tmp/vufind_sessions/sess_pfngjtdh5musi88864bbbkjc30