Cargando…

Tseitin's tautologies and lower bounds for Nullstellensatz proofs

Detalles Bibliográficos
Autor principal:	Grigoriev, D N
Lenguaje:	eng
Publicado:	1998
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/361712

Ejemplares similares

Tautological control systems
por: Lewis, Andrew D
Publicado: (2014)

The autoimmune tautology
por: Anaya, Juan-Manuel
Publicado: (2010)

Number theoretic methods in cryptography: complexity lower bounds
por: Shparlinski, Igor
Publicado: (1999)

The Generic Chaining: Upper and Lower Bounds of Stochastic Processes
por: Talagrand, Michel
Publicado: (2005)

Cryptographic applications of analytic number theory: complexity lower bounds and pseudorandomness
por: Shparlinski, Igor
Publicado: (2003)

Upper and lower bounds for stochastic processes: modern methods and classical problems
por: Talagrand, Michel
Publicado: (2014)

Algebra of proofs
por: Szabo, M E, et al.
Publicado: (2016)

The nuts and bolts of proofs: an introduction to mathematical proofs
por: Cupillari, Antonella
Publicado: (2005)

The Proof is in the Pudding: The Changing Nature of Mathematical Proof
por: Krantz, Steven G
Publicado: (2011)

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs
por: Cupillari, Antonella
Publicado: (2011)

Applied proof theory: proof interpretations and their use in mathematics
por: Kohlenbach, Ulrich
Publicado: (2008)

The Autoimmune Tautology: An In Silico Approach
por: Cifuentes, Ricardo A., et al.
Publicado: (2012)

Proof complexity
por: Krajíček, Jan
Publicado: (2019)

Proof patterns
por: Joshi, Mark
Publicado: (2015)

Numbers and proofs
por: Allenby, Reg
Publicado: (1997)

Proof theory
por: Schütte, Kurt
Publicado: (1977)

Gödel's proof
por: Nagel, Ernest, et al.
Publicado: (1959)

Proofs and Computations
por: Schwichtenberg, Helmut, et al.
Publicado: (2011)

Proof theory
por: Jervell, Herman Ruge
Publicado: (2013)

Complex proofs of real theorems
por: Lax, Peter D, et al.
Publicado: (2011)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (1998)

Sets, models and proofs
por: Moerdijk, Ieke, et al.
Publicado: (2018)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (2018)

Transition to analysis with proof
por: Krantz, Steven G
Publicado: (2017)

An introduction to mathematical proofs
por: Loehr, Nicholas A
Publicado: (2019)

Understanding mathematical proof
por: Taylor, John, et al.
Publicado: (2014)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (2014)

Proofs from the book
por: Quarteroni, Alfio
Publicado: (2006)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (2010)

The nuts and bolts of proofs
por: Cupillari, Antonella
Publicado: (2001)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (2003)

Proofs from THE BOOK
por: Aigner, Martin, et al.
Publicado: (2001)

Proof theory: an introduction
por: Pohlers, Wolfram
Publicado: (1989)

Writing proofs in analysis
por: Kane, Jonathan M
Publicado: (2016)

Advances in proof theory
por: Kahle, Reinhard, et al.
Publicado: (2016)

Entropy bounds and isoperimetry
por: Bobkov, SG, et al.
Publicado: (2005)

Bounded analytic functions
por: Garnett, John B
Publicado: (1981)

Bounded variation and around
por: Appell, Jürgen, et al.
Publicado: (2013)

Bounded analytic functions
por: Garnett, John B
Publicado: (2007)

Approximation by ratios of bounded analytic functions
por: Suárez, D
Publicado: (1998)

Cannot write session to /tmp/vufind_sessions/sess_6jknnj0tac5v3t19o5a55hphqp