Meng, Baoluo
| Author ID: | meng.baoluo  |
| Published as: | 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) |
