Paper Info
Title
Recursive (omega)o-Rule for Proof Systems
Year
Venue
DocType
1989
Inf. Process. Lett.
Journal
Volume
Issue
Citations 
31
6
0
PageRank 
References 
Authors
0.34
0
1
Name
Order
Citations
PageRank
Serge Yoccoz1202.95