Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Back to research
Extensions to the rippling-out tactic for guiding inductive proofs
1990
223 citations
Book Chapter
green Open Access
Field-Weighted Citation Impact:
11.56
Extensions to the rippling-out tactic for guiding inductive proofs | Researchclopedia