Structural induction

Known as: Induction on the structure, Structural recursion 
Structural induction is a proof method that is used in mathematical logic (e.g., in the proof of Łoś' theorem), computer science, graph theory, and… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1969-2017
0102019692017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
We develop a general logic-independent structural induction proof method at the level of abstract institutions. This provides a… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
The <i>nominal</i> approach to abstract syntax deals with the issues of bound names and &alpha;-equivalence by considering… (More)
  • figure 2
  • figure 3
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
1998
Highly Cited
1998
We present a categorical logic formulation of induction and coinduction principles for reasoning about inductively and coin… (More)
Is this relevant?
1994
1994
We propose a uniform, category-theoretic account of structural induction for inductively deened data types. The account is based… (More)
Is this relevant?
1993
1993
In this paper we show how partial evaluation can be used in developing proofs about program transformations. Partial evaluation… (More)
  • figure 1
  • figure 4
  • figure 8
  • figure 10
  • figure 11
Is this relevant?
Highly Cited
1991
Highly Cited
1991
We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
In verifying finite state systems such as communication protocols or hardware controllers, we may be required to reason about… (More)
  • figure 1
Is this relevant?
1979
1979
Inductive methods are basic to program proving and this paper presents the formal part of a theorem-proving system for autcmating… (More)
Is this relevant?
Highly Cited
1969
Highly Cited
1969
This paper discusses the technique of structural induction for proving theorems about programs. This technique is closely related… (More)
  • figure 1
  • figure 2
Is this relevant?