Paper Info
Title
Découverte de lemmes par instanciation de métavariables dans les preuves par récurrence
Year
Venue
DocType
2002
JFPLC
Conference
Citations 
PageRank 
References 
0
0.34
1
Authors
2
Name
Order
Citations
PageRank
M. Demba101.35
K. Bsaïes24512.46