Nunes, Alex
Documents Indexed: | 15 Publications since 1987 |
Co-Authors: | 2 Co-Authors with 1 Joint Publication |
58 Co-Co-Authors |
all
top 5
Co-Authors
all
top 5
Serials
all
top 5
Fields
Publications by Year
all
top 5
Cited by 13 Authors
Cited in 2 Serials
2 | Journal of Automated Reasoning |
1 | Artificial Intelligence |
Cited in 3 Fields
7 | Computer science (68-XX) |
2 | Mathematical logic and foundations (03-XX) |
1 | Special functions (33-XX) |