Meng, Baoluo
Documents Indexed: | 2 Publications since 2011 |
Co-Authors: | 3 Co-Authors with 1 Joint Publication |
126 Co-Co-Authors |
Co-Authors
1 | single-authored |
1 | Barrett, Clark W. |
1 | Reynolds, Andrew |
1 | Tinelli, Cesare |
Serials
1 | The Journal of Fuzzy Mathematics |
Fields
1 | Mathematical logic and foundations (03-XX) |
1 | Order, lattices, ordered algebraic structures (06-XX) |
1 | Computer science (68-XX) |
Publications by Year
all
top 5
Cited by 8 Authors
1 | Brunel, Julien |
1 | Chemouil, David |
1 | Claessen, Koen |
1 | Cristiá, Maximiliano |
1 | Cunha, Alcino |
1 | Lillieström, Ann |
1 | Macedo, Nuno |
1 | Rossi, Gianfranco |
Cited in 1 Serial
3 | Journal of Automated Reasoning |
Cited in 2 Fields
3 | Mathematical logic and foundations (03-XX) |
3 | Computer science (68-XX) |