A General Framework to Build Contextual
โ
Sorin Stratulat
๐
Article
๐
2001
๐
Elsevier Science
๐
English
โ 657 KB
Cover set induction is known as a proof method that keeps the advantages of explicit induction and proof by consistency. Most implicit induction proof procedures are defined in a cover set induction framework. Contextual cover set (CCS) is a new concept that fully characterizes explicit induction sc