Vanzetto, Hernán
Documents Indexed: | 2 Publications since 2012 |
Co-Authors: | 5 Co-Authors with 2 Joint Publications |
78 Co-Co-Authors |
Co-Authors
0 | single-authored |
2 | Merz, Stephan |
1 | Cousineau, Denis |
1 | Doligez, Damien |
1 | Lamport, Leslie |
1 | Ricketts, Daniel |
Serials
Publications by Year
all
top 5
Cited by 17 Authors
Cited in 3 Serials
1 | Theoretical Computer Science |
1 | Mathematical Problems in Engineering |
1 | Logical Methods in Computer Science |
Cited in 3 Fields
8 | Computer science (68-XX) |
3 | Mathematical logic and foundations (03-XX) |
2 | Order, lattices, ordered algebraic structures (06-XX) |