Generating author description...
Coauthor | Papers Together |
---|---|
Renzo Cavalieri | 8 |
Daniele Arcara | 2 |
Hamid Jahanjou | 1 |
Emanuele Viola | 1 |
Chris Pollett | 1 |
Action | Title | Year | Authors | # of times referenced |
---|---|---|---|---|
+ | The Complexity of Iterated Multiplication | 1995 |
Neil Immerman Susan Landau |
2 |
+ | Metamathematics of First-Order Arithmetic | 1993 |
Petr Hájek Pavel Pudlák |
1 |
+ | The Finite Simple Groups | 2010 |
Robert A. Wilson |
1 |