Bobot, François
Documents Indexed: | 8 Publications since 2011 |
Co-Authors: | 34 Co-Authors with 8 Joint Publications |
378 Co-Co-Authors |
all
top 5
Co-Authors
Serials
1 | Formal Aspects of Computing |
Fields
8 | Computer science (68-XX) |
2 | Numerical analysis (65-XX) |
1 | Mathematical logic and foundations (03-XX) |
1 | Quantum theory (81-XX) |
1 | Operations research, mathematical programming (90-XX) |
Publications by Year
all
top 5
Cited by 64 Authors
Cited in 5 Serials
3 | Journal of Automated Reasoning |
3 | Logical Methods in Computer Science |
1 | Formal Aspects of Computing |
1 | Formal Methods in System Design |
1 | Journal of Functional Programming |
Cited in 5 Fields
23 | Computer science (68-XX) |
6 | Mathematical logic and foundations (03-XX) |
3 | Quantum theory (81-XX) |
2 | Numerical analysis (65-XX) |
2 | Operations research, mathematical programming (90-XX) |