Algorithmic Meta−Theorems

Algorithmic Meta−Theorems

书目详细资料
主要作者:	Kreutzer, S
格式:	Conference item
出版:	2008

相似书籍

An Extension of Muchnik's Theorem
由: Blumensath, A, et al.
出版: (2005)

A pseudopolynomial algorithm for Alexandrov's theorem
由: Kane, Daniel, et al.
出版: (2011)

A pseudopolynomial algorithm for Alexandrov's theorem
由: Price, Gregory Nathan
出版: (2009)

Theorem-proving distributed algorithms with dynamic analysis
由: Ne Win, Toh, 1979-
出版: (2006)

Generalizing Eigenvalue Theorems to Pseudospectra Theorems
由: Embree, M, et al.
出版: (2000)

Verifying Distributed Algorithms via Dynamic Analysis and Theorem Proving
由: Ne Win, Toh, et al.
出版: (2023)

Projection theorems for hitting probabilities and a theorem of Littlewood
由: Lyons, T, et al.
出版: (1984)

Rolle's theorem and the mean value theorem [filem gelung]
出版: (1973)

The Recovery Theorem
由: Ross, Stephen A.
出版: (2015)

On the CPT theorem
由: Greaves, H, et al.
出版: (2014)

The cos theorem /
由: 356413 Essen, Matts R.
出版: (1975)

Ergodic theorems /
由: 239752 Krengel, Ulrich, et al.
出版: (1985)

Algorithmic complexity for psychology: A user−friendly implementation of the coding theorem method
由: Gauvrit, N, et al.
出版: (2015)

Addition theorems : the addition theorems of group theory and number theory /
由: 413350 Mann, Henry Berthold
出版: (1976)

Reasoning with incomplete probabilistic knowledge : the RIP algorithm for de Finetti's fundamental theorem of probability
由: Myers, Tracy S. (Tracy Scott)
出版: (2005)

No-Go theorems and quantization
由: Zainuddin, Hishamuddin, et al.
出版: (2007)

On the Cauchy-Goursat theorem
由: Azram, Mohammad, et al.
出版: (2010)

Perspectives on the CAP Theorem
由: Gilbert, Seth, et al.
出版: (2013)

Silhouette-slice theorems
出版: (2004)

On Stone's representation theorem
由: Loo, Dong Lin
出版: (2022)

ALPERINS FUSION THEOREM
由: Collins, M
出版: (1975)

On a theorem of Coleman
由: Flynn, E
出版: (1995)

On the Brun-Titchmarsh theorem
由: Maynard, J
出版: (2013)

Roth's theorem in the primes
由: Green, B
出版: (2003)

On Mason's rigidity theorem
由: Chruściel, P, et al.
出版: (2007)

On a theorem of Coleman
由: Flynn, E
出版: (1995)

Shannon's theorem revisited
由: Ekert, A
出版: (1994)

On basic existence theorems.
出版: (2004)

Proofs of the Compactness Theorem
由: Paseau, A
出版: (2010)

Note on Carlson's theorem
由: Pila, J
出版: (2005)

Extension of Hölder’s theorem
由: Jagatnath, Nicholas Darren
出版: (2021)

The Third Homomorphism Theorem
由: Gibbons, J
出版: (1996)

GENERALIZATION OF COWLING THEOREM
由: Hide, R, et al.
出版: (1982)

Strengthening Rödl's theorem
由: Chudnovsky, M, et al.
出版: (2023)

On the Brun-Titchmarsh theorem
由: Maynard, J
出版: (2013)

The Third Homomorphism Theorem
由: Gibbons, J
出版: (1996)

The converse envelope theorem
由: Sinander, L
出版: (2022)

Alexandrov's theorem revisited
由: Delgadino, MG, et al.
出版: (2019)

An ordinal minimax theorem
由: Brandt, F, et al.
出版: (2016)

Improvements on Khrapchenko's theorem
由: Koutsoupias, E
出版: (1993)