Recursion

Known as: Recursionism, Recursive structure, Recursiveness 
Recursion occurs when a thing is defined in terms of itself or of its type. Recursion is used in a variety of disciplines ranging from linguistics to… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1947-2018
01000200019472017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
The model checking of higher-order recursion schemes has important applications in the verification of higher-order programs. Ong… (More)
  • figure 1
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by… (More)
  • figure 1
  • figure 2
  • table 1
Is this relevant?
2003
2003
Recursion is a fundamental concept in Computer Science. A student's knowledge of recursion can be termed their <i>mental model</i… (More)
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • table 4.1
  • figure 4.1
Is this relevant?
Highly Cited
2002
Highly Cited
2002
A general nonparametric technique is proposed for the analysis of a complex multimodal feature space and to delineate arbitrarily… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Abstract. This paper presents structural recursion as the basis of the syntax and semantics of query languages for… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Naturally occurring speech contains only a limited amount of complex recursive structure, and this is re ected in the empirically… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We de ne a class of recursive functions on the reals analogous to the classical recursive functions on the natural numbers… (More)
  • figure I
Is this relevant?
Highly Cited
1993
Highly Cited
1993
The Damas-Milner Calculus is the typed A-calculus underlying the type system for ML and several other strongly typed polymorphic… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
This paper deals with a new class of convolutional codes called Turbo-codes, whose performances in terms of Bit Error Rate (BER… (More)
Is this relevant?
Highly Cited
1987
Highly Cited
1987
We define a language G for querying data represented as a labeled graph <italic>G</italic>. By considering <italic>G</italic> as… (More)
Is this relevant?