Recursive definition

Known as: Definition (disambiguation), Inductive definition, Recursively define 
A recursive definition (or inductive definition) in mathematical logic and computer science is used to define the elements in a set in terms of other… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Many semantical aspects of programming languages, such as their operational semantics and their type assignment calculi, are… (More)
  • figure 1
  • figure 3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This paper introduces λ̂ , a simply typed lambda calculus supporting inductive types and recursive function definitions with… (More)
  • figure 3
  • figure 4
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
2004
Highly Cited
2004
ion makes it possible to build non-recursive functions directly inside Calculus of Constructions terms, without giving a name to… (More)
  • figure 2.1
  • figure 3.1
  • figure 3.3
  • figure 4.1
  • figure 4.2
Is this relevant?
2002
2002
In type theory based logical frameworks, recursive and corecursive definitions are subject to syntactic restrictions that ensure… (More)
Is this relevant?
2001
2001
Many optimization problems can be expressed naturally in a recursive manner. Problems with a dynamic structure are commonly… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 6
Is this relevant?
2000
2000
Functional languages allow the de nition of a function by means of recursive equations. This paper describes a general framework… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1996
1996
In this paper we are concerned with the problem of inducing recursive Horn clauses from small sets of training examples. The… (More)
  • table 1
  • table 2
  • table 3
  • figure 1
Is this relevant?
1990
1990
  • Krzysztof Hryniewiecki
  • 1990
The articles [6], [5], [8], [7], [1], [9], [3], [2], and [4] provide the notation and terminology for this paper. We use the… (More)
Is this relevant?
Highly Cited
1987
Highly Cited
1987
  • Stanley Osher, James A. Sethian
  • 1987
We devise new numerical algorithms, called PSC algorithms, for following fronts propagating with curvature-dependent speed. The… (More)
Is this relevant?
1972
1972
The object of this paper is to present a syntactic and semantic model for recursive definitions, and to study the relation… (More)
Is this relevant?