Valero, Pedro
Documents Indexed: | 6 Publications since 2017 |
Co-Authors: | 4 Co-Authors with 6 Joint Publications |
64 Co-Co-Authors |
Co-Authors
0 | single-authored |
6 | Ganty, Pierre |
3 | Gutiérrez, Elena |
2 | Ranzato, Francesco |
1 | Köpf, Boris |
Fields
6 | Computer science (68-XX) |
Publications by Year
all
top 5
Cited by 12 Authors
Cited in 1 Serial
1 | Fundamenta Informaticae |
Cited in 4 Fields
4 | Computer science (68-XX) |
1 | Mathematical logic and foundations (03-XX) |
1 | Order, lattices, ordered algebraic structures (06-XX) |
1 | Quantum theory (81-XX) |