Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 239,501,345 papers from all fields of science
Search
Sign In
Create Free Account
Structural induction
Known as:
Induction
, 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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
18 relations
Binary tree
Coinduction
Computation tree logic
Computer science
Expand
Broader (2)
Graph theory
Logic in computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
A continuum of periodic solutions to the four-body problem with various choices of masses
Tian-Cheng Ouyang
,
Zhi-Fu Xie
2013
Corpus ID: 117091151
In this paper, we apply the variational method with the Structural Prescribed Boundary Conditions (SPBC) to prove the existence…
Expand
2013
2013
Compositional development framework for bidirectional model transformations based on structural recursion on graphs
S. Hidaka
2013
Corpus ID: 123995545
2012
2012
HOR 2012 6 th International Workshop on Higher-Order Rewriting
M. Hamana
2012
Corpus ID: 15417903
The aim of HOR is to provide an informal forum to discuss all aspects of higher-order rewriting. The topics of the workshop…
Expand
2011
2011
Towards Bidirectional Transformations on Ordered Graphs
S. Hidaka
,
Kazuyuki Asada
,
H. Kato
,
Ke Hu
2011
Corpus ID: 125137857
The linguistic (language-based) approach plays an important role in development of structured and well-behaved bidirectional…
Expand
2011
2011
From Structural Recursion to Generative and Accumulative Recursion
Marco T. Morazán
2011
Corpus ID: 66949278
The use of video games to teach introduction courses to pro- gramming and Computer Science is a trend that is currently…
Expand
2010
2010
Coyotes , Jazz , and Creative Teams : Facing and Seeking Variance
R. Derickson
,
K. S. Long
,
W. Tremblay
2010
Corpus ID: 38154417
A conceptual framework is presented to explore the dynamics of variance in innovative teams within various domains. Recent…
Expand
2007
2007
Tree Automata , Implicit Induction and Explicit Destructors for Security Protocol Verification 1
Adel Bouhoula
,
Florent Jacquemard Tree
2007
Corpus ID: 18855174
We present a new method for automatic implicit induction theorem proving, and its application for the verification of…
Expand
2000
2000
Computing aggregations in database query languages
L. Cabibbo
,
Riccardo Torlone
Sistemi Evoluti per Basi di Dati
2000
Corpus ID: 5099825
In this paper we present a framework for studying aggregations in the context of database query languages. Starting from a broad…
Expand
1998
1998
Semantics of dynamic variables in Algol-like languages
D. Ghica
1998
Corpus ID: 16504028
A denotational semantic model of an Algol-like programming language with local variables, providing fully functional dynamic…
Expand
1991
1991
Reforming Compilation of Logic Programs
H. Akan Millroth
1991
Corpus ID: 18749930
We present a new method for parallel logic programming which is based on compilation of TT arnlund's inference system Reform. The…
Expand