We prove upper bounds on the order and degree of the polynomials involved in a resolvent representation of the prime differential ideal associated with a polynomial differential s...
Lisi D'Alfonso, Gabriela Jeronimo, Pablo Solern&oa...
Rademacher and Gaussian complexities are successfully used in learning theory for measuring the capacity of the class of functions to be learned. One of the most important propert...
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ļ...
The coding theorem is a fundamental result of algorithmic information theory. A well known theorem of G“acs shows that the analog of the coding theorem fails for continuous sample...
Limiting identiļ¬cation of r.e. indexes for r.e. languages (from a presentation of elements of the language) and limiting identiļ¬cation of programs for computable functions (fr...