Cobham's theorem is a theorem in combinatorics on words that has important connections with number theory, notably transcendental numbers, and automata...

solutions are characterized by having polynomial time,[B] and for Cobham's theorem on the sets of numbers that can be recognized by finite automata.[C]...

Cobham's thesis, also known as the Cobham–Edmonds thesis (named after Alan Cobham and Jack Edmonds), asserts that computational problems can be feasibly...

obtainable in this way. This result is due to Cobham, and it is referred to in the literature as Cobham's little theorem. Let k ≥ 2. The k-kernel of the sequence...

the time hierarchy theorems are important statements about time-bounded computation on Turing machines. Informally, these theorems say that given more...

(2006). "A generalization of Cobham's theorem for regular sequences". Séminaire Lotharingien de Combinatoire. 54A. Cobham, A. (1969). "On the base-dependence...

machine using a polynomial amount of computation time, or polynomial time. Cobham's thesis holds that P is the class of computational problems that are "efficiently...

mathematical queueing theory, Little's law (also result, theorem, lemma, or formula) is a theorem by John Little which states that the long-term average...

{\displaystyle n} , then the algorithm is said to be a polynomial time algorithm. Cobham's thesis argues that a problem can be solved with a feasible amount of resources...

mathematics, he proved the matroid intersection theorem, a very general combinatorial min-max theorem which, in modern terms, showed that the matroid...

Recognizability of Sets of Natural Numbers by Automata: New Proofs of Cobham's and Semenov's Theorems". Annals of Pure and Applied Logic. 77 (3): 251–277. doi:10...

below). Just as the class P can be thought of as the tractable problems (Cobham's thesis), so NC can be thought of as the problems that can be efficiently...

The concept of NP-completeness was introduced in 1971 (see Cook–Levin theorem), though the term NP-complete was introduced later. At the 1971 STOC conference...

means "easy" and "not in P" means "difficult", an assumption known as Cobham's thesis. It is a common assumption in complexity theory; but there are caveats...

symbols for all polynomial-time algorithms introduced inductively using Cobham's characterization of polynomial-time functions. Axioms and derivations of...

class P, which is central in the field of computational complexity theory. Cobham's thesis states that polynomial time is a synonym for "tractable", "feasible"...

Undecidable theories. North Holland. Vaught, Robert L. (1966). "On a Theorem of Cobham Concerning Undecidable Theories". Studies in Logic and the Foundations...

contains no block of three consecutive 1s. More succinctly, by Cobham's little theorem the Baum–Sweet word can be expressed as a coding τ {\displaystyle...

is gone.[clarification needed] Its meaning was translated in 1898 by E. Cobham Brewer in the forms "When I am dead the deluge may come for aught I care"...

mathematical analysis. Taylor's most famous developments are Taylor's theorem and the Taylor series, essential in the infinitesimal approach of functions...

Henrik Abel, Norwegian mathematician – Abelian group, Abel's theorem, Abel–Ruffini theorem Helmut Abt, German-born American astrophysicist - Abt's star...

introduced in the notion of self-definability to derive a proof of the Cobham-Semenov theorem. He earned his Ph.D. in 2001. Subsequently, he worked at the Institute...

for his Fermat's principle for light propagation and his Fermat's Last Theorem in number theory St Ivo of Kermartin (died 1303), patron of lawyers Étienne...

Braun (2004). An Eponymous Dictionary of Economics: A Guide To Laws And Theorems Named After Economists. Edward Elgar Publishing. p. 13. ISBN 978-1-84542-360-5...

the Cobham–Semënov theorem, if a relation is definable in both k and l Büchi arithmetics, then it is definable in Presburger arithmetic. Cobham, Alan...

time-translation symmetry.[citation needed] That is according to Noether's theorem relating symmetries and conserved quantity, energy is conserved because...

Retrieved 2018-08-22. Cobham, David (2004-09-15). "Alternative currency arrangements for a new Palestinian state" (PDF). In David Cobham (ed.). The Economics...

that it is valid if they are independent in the second sense. While his theorems are true if all propositions or events involved are independent in the...

logspace. BPL is contained in L/poly, which is a variant of Adleman's theorem. Complexity Zoo: L/poly. Thierauf, Thomas (2000), The Computational Complexity...

perturbation Group velocity Hanle effect Helmholtz minimum dissipation theorem Laminar–turbulent transition Langmuir–Blodgett trough List of presidents...