ELEMENTARY

Known as: Elementary Recursive, Elementary recursive function, Elementary recursive functions 
In computational complexity theory, the complexity class ELEMENTARY of elementary recursive functions is the union of the classes The name was coined… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1937-2016
051019372015

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2005
2005
OBJECTIVE: TO EXAMINE THE PREVALENCE OF SOCIAL MATURITY AND THE INFLUENCE FACTORS AMONG OBESE CHILDREN FROM ELEMENTARY SCHOOL IN… (More)
Is this relevant?
2004
2004
  • Hans–Werner Henn
  • 2004
1.1 Let G be a profinite group and p be a fixed prime. In this paper we will be concerned with H∗ c (G;Fp), the continuous… (More)
Is this relevant?
2003
2003
A subsystem of linear logic, elementary linear logic, is defined and shown to represent exactly elementary recursive functions… (More)
Is this relevant?
2003
2003
Elliptic 6j-symbols first appeared in connection with solvable models of statistical mechanics. They include many interesting… (More)
  • figure 1
  • figure 2
Is this relevant?
2001
2001
Think of elementary linear logic as an idealized functional programming language with a severe typing mechanism. Definition by… (More)
Is this relevant?
2001
2001
27 Quantum computing has enormous potential for introducing fundamentally new capabilities to computational science and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2000
2000
In 1998 Asperti and Mairson proved that the cost of reducing a lambda-term using an optimal lambda-reducer (a la Lévy) cannot be… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1998
1998
We analyze the inherent complexity of implementing Lévy's notion of optimal evaluation for the &lambda-calculus, where… (More)
  • figure 3
Is this relevant?
1996
1996
This paper provides a new proof of the consistency of a formal system similar to the one presented by Chuaqui and Suppes in 2, 9… (More)
Is this relevant?
1977
1977
Historically, the principal interest in the typed λ-calculus is in connection with Godel's functional ("Dialectica… (More)
Is this relevant?