C. Cohen
发表
Simon Boulier,
Nicolas Tabareau,
Théo Winterhalter,
2020,
Journal of Automated Reasoning.
Jeremy Avigad,
Andrea Asperti,
Enrico Tassi,
2013,
ITP.
A. Mahboubi,
C. Cohen,
2010
.
Maxime Amblard,
Benoît Sagot,
Reinhard Muskens,
2006
.
Alexander I. Suciu,
C. Cohen,
1999
.
Alexander I. Suciu,
C. Cohen,
1995,
alg-geom/9503002.
Cyril Cohen,
C. Cohen,
2012,
ITP.
Thierry Coquand,
Simon Huber,
Cyril Cohen,
2015,
TYPES.
Assia Mahboubi,
Cyril Cohen,
A. Mahboubi,
2012,
Log. Methods Comput. Sci..
Stephan Merz,
Jean-Jacques Lévy,
Laurent Théry,
2019,
ITP.
Reynald Affeldt,
Cyril Cohen,
Damien Rouhling,
2018,
J. Formaliz. Reason..
C. Cohen,
Reynald Affeldt,
2022,
Journal of Automated Reasoning.
Vincent Siles,
Cyril Cohen,
Maxime Dénès,
2016,
Log. Methods Comput. Sci..
Cyril Cohen,
Anders Mörtberg,
C. Cohen,
2014,
ITP.
Cyril Cohen,
Damien Rouhling,
C. Cohen,
2017,
ITP.
Cyril Cohen,
Kazuhiko Sakaguchi,
Enrico Tassi,
2020,
FSCD.