Feasible mathematics II /

Other Authors:	Clote, Peter, Remmel, Jeffrey B.
Format:	Book
Language:	English
Published:	Boston: Birkhauser, 1995
Series:	Progress in computer science and applied logic 13
Subjects:	Computational complexity > Congrasses Mathematics > Congresses

Similar Items

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

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

Feasible computations and provable complexity properties /
by: Hartmanis, Juris
Published: (1978)

Complexity theory retrospective II/
Published: (1997)

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)

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

Structural complexity II/
by: Balca?zar, Jose? Luis
Published: (1990)

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

Proceedings of the twenty-sixth annual ACM Symposium on the Theory of Computing= Theory of computing/
Published: (1994)

Proceedings of the twenty third annual ACM Symposium on Theory of Computing= Theory of computing/
Published: (1991)

Proceedings of the thirty-third annual ACM Symposium on the Theory of Computing: Hersonissos, Crete, Greece, July 6-8, 2001/
Published: (2001)

Proceedings of the twenty-fifth annual ACM Symposium on the Theory ofComputing, San Diego, California, May 16-18, 1993= Theory of computing/
Published: (1993)

Proceedings of the twenty-fourth annual ACM Symposium on the Theory of Computing, Victoria, British COlumbia, Canada, May 4-6, 1992= Theory of computing/
Published: (1992)

Algorithm theory-- SWAT ʹ98 :6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998 :proceedings /
Published: (1998)

Μαθηματικά II /
by: Αναστασάτος, Δ.
Published: (2001)

Computational science-ICCS 2005: 5th international conference Atlanta, GA, USA, May 22-25, 2005 proceedings, part III/
by: Sunderman, Vaidy S.
Published: (2005)

Bounded arithmetic/
by: Buss, Samuel R.
Published: (1986)

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

Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Strbske Pleso, Czechoslovakia, August 31-September 4, 1981 /
Published: (1981)

Five lectures in complex analysis: second Winter School on Complex Analysis and Operator Theory, February 5-9, 2008, University of Sevilla, Sevilla, Spain/
Published: (2010)

The Madison Symposium on Complex Analysis: proceedings of the Symposium on Complex Analysis held June 2-7, 1991 at the University of Wisconsin-Madison/
Published: (1991)

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

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

Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, August 24-28, 1981 /
Published: (1981)

Descriptive complexity and finite models : proceedings of a DIMACS Workshop January 14-17, 1996 Princeton University /
Published: (1997)

A course of higher mathematics/
by: Smirnov, V. I. 1887-
Published: (1964)

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

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

Mathematical programming at Oberwolfach II/
Published: (1984)

Fundamentals of complex analysis for mathematics, science, and engineering/
by: Saff, E. B.
Published: (1993)

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

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

Aspects of contemporary complex analysis: proceedings of an instructional conference organised by the London Mathematical Society at the University of Durham (A Nato Advanced Study Institute)/
Published: (1980)

Complex analysis, fifth Romanian-Finnish Seminar: proceedings of the seminar, held in Bucharest, June 28-July 3, 1981/
Published: (1983)

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)

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

Cannot write session to /tmp/vufind_sessions/sess_ah7e8rff4oh756gjq6a0eu4g91