Algorithmic Meta−Theorems

Algorithmic Meta−Theorems

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Kreutzer, S
Formáid:	Conference item
Foilsithe / Cruthaithe:	2008

Míreanna comhchosúla

An Extension of Muchnik's Theorem
de réir: Blumensath, A, et al.
Foilsithe / Cruthaithe: (2005)

A pseudopolynomial algorithm for Alexandrov's theorem
de réir: Kane, Daniel, et al.
Foilsithe / Cruthaithe: (2011)

A pseudopolynomial algorithm for Alexandrov's theorem
de réir: Price, Gregory Nathan
Foilsithe / Cruthaithe: (2009)

Theorem-proving distributed algorithms with dynamic analysis
de réir: Ne Win, Toh, 1979-
Foilsithe / Cruthaithe: (2006)

Generalizing Eigenvalue Theorems to Pseudospectra Theorems
de réir: Embree, M, et al.
Foilsithe / Cruthaithe: (2000)

Verifying Distributed Algorithms via Dynamic Analysis and Theorem Proving
de réir: Ne Win, Toh, et al.
Foilsithe / Cruthaithe: (2023)

Projection theorems for hitting probabilities and a theorem of Littlewood
de réir: Lyons, T, et al.
Foilsithe / Cruthaithe: (1984)

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

The Recovery Theorem
de réir: Ross, Stephen A.
Foilsithe / Cruthaithe: (2015)

On the CPT theorem
de réir: Greaves, H, et al.
Foilsithe / Cruthaithe: (2014)

The cos theorem /
de réir: 356413 Essen, Matts R.
Foilsithe / Cruthaithe: (1975)

Ergodic theorems /
de réir: 239752 Krengel, Ulrich, et al.
Foilsithe / Cruthaithe: (1985)

Algorithmic complexity for psychology: A user−friendly implementation of the coding theorem method
de réir: Gauvrit, N, et al.
Foilsithe / Cruthaithe: (2015)

Addition theorems : the addition theorems of group theory and number theory /
de réir: 413350 Mann, Henry Berthold
Foilsithe / Cruthaithe: (1976)

Reasoning with incomplete probabilistic knowledge : the RIP algorithm for de Finetti's fundamental theorem of probability
de réir: Myers, Tracy S. (Tracy Scott)
Foilsithe / Cruthaithe: (2005)

No-Go theorems and quantization
de réir: Zainuddin, Hishamuddin, et al.
Foilsithe / Cruthaithe: (2007)

On the Cauchy-Goursat theorem
de réir: Azram, Mohammad, et al.
Foilsithe / Cruthaithe: (2010)

Perspectives on the CAP Theorem
de réir: Gilbert, Seth, et al.
Foilsithe / Cruthaithe: (2013)

Silhouette-slice theorems
Foilsithe / Cruthaithe: (2004)

On Stone's representation theorem
de réir: Loo, Dong Lin
Foilsithe / Cruthaithe: (2022)

ALPERINS FUSION THEOREM
de réir: Collins, M
Foilsithe / Cruthaithe: (1975)

On a theorem of Coleman
de réir: Flynn, E
Foilsithe / Cruthaithe: (1995)

On the Brun-Titchmarsh theorem
de réir: Maynard, J
Foilsithe / Cruthaithe: (2013)

Roth's theorem in the primes
de réir: Green, B
Foilsithe / Cruthaithe: (2003)

On Mason's rigidity theorem
de réir: Chruściel, P, et al.
Foilsithe / Cruthaithe: (2007)

On a theorem of Coleman
de réir: Flynn, E
Foilsithe / Cruthaithe: (1995)

Shannon's theorem revisited
de réir: Ekert, A
Foilsithe / Cruthaithe: (1994)

On basic existence theorems.
Foilsithe / Cruthaithe: (2004)

Proofs of the Compactness Theorem
de réir: Paseau, A
Foilsithe / Cruthaithe: (2010)

Note on Carlson's theorem
de réir: Pila, J
Foilsithe / Cruthaithe: (2005)

Extension of Hölder’s theorem
de réir: Jagatnath, Nicholas Darren
Foilsithe / Cruthaithe: (2021)

The Third Homomorphism Theorem
de réir: Gibbons, J
Foilsithe / Cruthaithe: (1996)

GENERALIZATION OF COWLING THEOREM
de réir: Hide, R, et al.
Foilsithe / Cruthaithe: (1982)

Strengthening Rödl's theorem
de réir: Chudnovsky, M, et al.
Foilsithe / Cruthaithe: (2023)

On the Brun-Titchmarsh theorem
de réir: Maynard, J
Foilsithe / Cruthaithe: (2013)

The Third Homomorphism Theorem
de réir: Gibbons, J
Foilsithe / Cruthaithe: (1996)

The converse envelope theorem
de réir: Sinander, L
Foilsithe / Cruthaithe: (2022)

Alexandrov's theorem revisited
de réir: Delgadino, MG, et al.
Foilsithe / Cruthaithe: (2019)

An ordinal minimax theorem
de réir: Brandt, F, et al.
Foilsithe / Cruthaithe: (2016)

Improvements on Khrapchenko's theorem
de réir: Koutsoupias, E
Foilsithe / Cruthaithe: (1993)