Algorithmic Meta−Theorems

Algorithmic Meta−Theorems

Bibliographic Details
Main Author:	Kreutzer, S
Format:	Conference item
Published:	2008

Similar Items

An Extension of Muchnik's Theorem
by: Blumensath, A, et al.
Published: (2005)

A pseudopolynomial algorithm for Alexandrov's theorem
by: Kane, Daniel, et al.
Published: (2011)

A pseudopolynomial algorithm for Alexandrov's theorem
by: Price, Gregory Nathan
Published: (2009)

Theorem-proving distributed algorithms with dynamic analysis
by: Ne Win, Toh, 1979-
Published: (2006)

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

Generalizing Eigenvalue Theorems to Pseudospectra Theorems
by: Embree, M, et al.
Published: (2000)

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

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

The Recovery Theorem
by: Ross, Stephen A.
Published: (2015)

On the CPT theorem
by: Greaves, H, et al.
Published: (2014)

The cos theorem /
by: 356413 Essen, Matts R.
Published: (1975)

Ergodic theorems /
by: 239752 Krengel, Ulrich, et al.
Published: (1985)

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

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

No-Go theorems and quantization
by: Zainuddin, Hishamuddin, et al.
Published: (2007)

On the Cauchy-Goursat theorem
by: Azram, Mohammad, et al.
Published: (2010)

Perspectives on the CAP Theorem
by: Gilbert, Seth, et al.
Published: (2013)

Silhouette-slice theorems
Published: (2004)

On Stone's representation theorem
by: Loo, Dong Lin
Published: (2022)

ALPERINS FUSION THEOREM
by: Collins, M
Published: (1975)

On a theorem of Coleman
by: Flynn, E
Published: (1995)

On the Brun-Titchmarsh theorem
by: Maynard, J
Published: (2013)

Roth's theorem in the primes
by: Green, B
Published: (2003)

On Mason's rigidity theorem
by: Chruściel, P, et al.
Published: (2007)

On a theorem of Coleman
by: Flynn, E
Published: (1995)

Shannon's theorem revisited
by: Ekert, A
Published: (1994)

On basic existence theorems.
Published: (2004)

Proofs of the Compactness Theorem
by: Paseau, A
Published: (2010)

Note on Carlson's theorem
by: Pila, J
Published: (2005)

Extension of Hölder’s theorem
by: Jagatnath, Nicholas Darren
Published: (2021)

The Third Homomorphism Theorem
by: Gibbons, J
Published: (1996)

GENERALIZATION OF COWLING THEOREM
by: Hide, R, et al.
Published: (1982)

Strengthening Rödl's theorem
by: Chudnovsky, M, et al.
Published: (2023)

On the Brun-Titchmarsh theorem
by: Maynard, J
Published: (2013)

The Third Homomorphism Theorem
by: Gibbons, J
Published: (1996)

The converse envelope theorem
by: Sinander, L
Published: (2022)

Alexandrov's theorem revisited
by: Delgadino, MG, et al.
Published: (2019)

An ordinal minimax theorem
by: Brandt, F, et al.
Published: (2016)

Improvements on Khrapchenko's theorem
by: Koutsoupias, E
Published: (1993)

Representative voter theorems /
by: 314003 Rothstein, Paul