Complexité et décidabilité / Patrick Dehornoy.

Bibliographic Details
Uniform Title:	Mathématiques & applications ; 12.
Main Author:	Dehornoy, Patrick
Corporate Author:	Société de mathématiques appliquées et industrielles
Other Authors:	Ghidaglia, J.-M. (Jean-Michel) Lascaux, P.
Language:	French
Published:	Paris ; New York : Springer-Verlag, [1993], ©1993.
Series:	Mathématiques & applications ; 12.
Subjects:	Computational complexity.
Physical Description:	200 pages ; 23 cm.
Format:	Book

Similar Items

Complexity theory : current research
Published: (1993)

Advances in computational complexity theory
Published: (1993)

Algebraic complexity theory
by: Bürgisser, Peter, 1962-
Published: (1997)

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

Completeness and reduction in algebraic complexity theory
by: Bürgisser, Peter, 1962-
Published: (2000)

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

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

Causality, probability, and time
by: Kleinberg, Samantha, 1983-
Published: (2013)

Kolmogorov complexity and computational complexity
Published: (1992)

Parameterized complexity theory
by: Flum, Jörg
Published: (2006)

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

A new kind of science
by: Wolfram, Stephen, 1959-
Published: (2002)

Complexity theory retrospective : in honor of Juris Hartmanis on the occasion of his sixtieth birthday, July 5, 1988
Published: (1990)

Computational complexity of counting and sampling
by: Miklós, István (Mathematician)
Published: (2019)

Complexity, logic, and recursion theory
Published: (1997)

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

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

The structure and dynamics of networks
by: Newman, M. E. J. (Mark E. J.)
Published: (2006)

Computing in nonlinear media and automata collectives
by: Adamatzky, Andrew
Published: (2001)

Number theoretic methods in cryptography : complexity lower bounds
by: Shparlinski, Igor E.
Published: (1999)

Complexity in numerical optimization
Published: (1993)

Complexity : knots, colourings and counting
by: Welsh, D. J. A.
Published: (1993)

Complexity of lattice problems : a cryptographic perspective
by: Micciancio, Daniele
Published: (2002)

Languages and machines : an introduction to the theory of computer science
by: Sudkamp, Thomas A.
Published: (1988)

What is a complex system?
by: Ladyman, James, 1969-, et al.
Published: (2020)

Languages and machines : an introduction to the theory of computer science
by: Sudkamp, Thomas A.
Published: (1997)

Forcing with random variables and proof complexity
by: Krajíček, Jan
Published: (2011)

Forcing with random variables and proof complexity
by: Krajíček, Jan
Published: (2011)

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

Complexity classifications of Boolean constraint satisfaction problems
by: Creignou, Nadia
Published: (2001)

Cryptographic applications of analytic number theory : complexity lower bounds and pseudorandomness
by: Shparlinski, Igor E.
Published: (2003)

Complexity : knots, colourings, and counting
by: Welsh, D. J. A.
Published: (1993)

A graphic apology for symmetry and implicitness
by: Carbone, Alessandra
Published: (2000)

Turing's legacy : developments from Turing's ideas in logic
Published: (2014)

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

An introduction to Kolmogorov complexity and its applications
by: Li, Ming, 1955 July 16-
Published: (1997)

Turbulence : climate change and the design of complexity
by: Carter, Paul, 1951-
Published: (2015)

1992 lectures in complex systems
Published: (1993)

1989 lectures in complex systems : the proceedings of the 1989 Complex Systems Summer School, Santa Fe, New Mexico, June 1989
Published: (1990)

1993 lectures in complex systems
Published: (1995)