Author Info
Name
Affiliation
Papers
MICHAEL THOMAS
TWT GmbH, Neuhausen a. d. F., Germany
1
Collaborators
Citations 
PageRank 
6
1
0.37
Referers 
Referees 
References 
4
35
20
Title
Citations
PageRank
Year
Verifying proofs in constant depth10.372011