Author Info
Name
Papers
Collaborators
SATO KENTARO UNIVERSITAT BERN
1
1
Citations 
PageRank 
Referers 
2
0.40
2
Referees 
References 
9
7
Title
Citations
PageRank
Year
Full and hat inductive definitions are equivalent in NBG.20.402015