Liron Cohen
发表
Liron Cohen,
L. Cohen,
2017,
TABLEAUX.
Arnon Avron,
Liron Cohen,
A. Avron,
2014,
WoLLIC.
Reuben N. S. Rowe,
Liron Cohen,
R. Rowe,
2018,
CSL.
Arnon Avron,
Liron Cohen,
A. Avron,
2018,
LFCS.
Arnon Avron,
Liron Cohen,
2015,
Synthese.
Reuben N. S. Rowe,
Liron Cohen,
2018,
ArXiv.
Yoni Zohar,
Liron Cohen,
2017,
GCAI.
Mark Bickford,
Robert L. Constable,
Vincent Rahli,
2018,
LICS.
Ross Tate,
Liron Cohen,
Sofia Abreu Faro,
2019,
MFPS.
Arnon Avron,
Liron Cohen,
2016,
J. Formaliz. Reason..
Robert L. Constable,
Liron Cohen,
R. Constable,
2019,
J. Log. Comput..
Reuben N. S. Rowe,
Yoni Zohar,
Liron Cohen,
2019,
J. Log. Comput..
Arnon Avron,
Liron Cohen,
A. Avron,
2018,
Log. Methods Comput. Sci..
Mark Bickford,
Robert L. Constable,
Vincent Rahli,
2019,
J. ACM.
Mark Bickford,
Robert L. Constable,
Vincent Rahli,
2021,
CSL.
Robert L. Constable,
Liron Cohen,
R. Constable,
2015,
WoLLIC.
Mark Bickford,
Vincent Rahli,
Liron Cohen,
2018,
LPAR.