YB
Yves Bertot
0000-0001-5052-3019124
Publications
2,616
Citations
21
h-index
37
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (49)
- Book Chapter (44)
- Preprint (22)
- Book (4)
- Other (2)
Filter by Open Access Type
- Open Access (57)
- Closed Access (67)
Filter by Authors
- Yves Bertot (124)
- Pierre Castéran (17)
- Laurence Rideau (15)
- Laurent Théry (15)
- Loïc Pottier (8)
Filter by Topics
- Logic, programming, and type systems (77)
- Logic, Reasoning, and Knowledge (32)
- Formal Methods in Verification (29)
- Mathematics, Computing, and Information Processing (19)
- Numerical Methods and Algorithms (13)