Yoni Zohar
发表
Norihiro Kamide,
Yoni Zohar,
2020,
Ann. Pure Appl. Log..
Norihiro Kamide,
Yoni Zohar,
N. Kamide,
2018,
Log. J. IGPL.
Ori Lahav,
Yoni Zohar,
2014,
WoLLIC.
Ori Lahav,
Yoni Zohar,
2019,
TOCL.
Anna Zamansky,
Yoni Zohar,
2016,
IJCAR.
Yoni Zohar,
Liron Cohen,
2017,
GCAI.
Ori Lahav,
Yoni Zohar,
João Marcos,
2019,
Logica Universalis.
Anna Zamansky,
Yoni Zohar,
A. Zamansky,
2016,
CAiSE Workshops.
Ori Lahav,
Yoni Zohar,
João Marcos,
2017,
Logica Universalis.
Ori Lahav,
Yoni Zohar,
João Marcos,
2016,
Advances in Modal Logic.
Norihiro Kamide,
Yoni Zohar,
2020,
Stud Logica.
Ittai Abraham,
Noam Rinetzky,
Shmuel Sagiv,
2017,
Proc. ACM Program. Lang..
Ori Lahav,
Yoni Zohar,
O. Lahav,
2018,
J. Log. Comput..
Norihiro Kamide,
Yoni Zohar,
2019,
2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL).
Reuben N. S. Rowe,
Yoni Zohar,
Liron Cohen,
2019,
J. Log. Comput..
Ori Lahav,
Yoni Zohar,
2014,
IJCAR.
Ori Lahav,
Yoni Zohar,
2017,
TABLEAUX.
Arnon Avron,
Yoni Zohar,
A. Avron,
2018,
The Review of Symbolic Logic.
Aina Niemetz,
Mathias Preiner,
Yoni Zohar,
2019,
SAT.
Cesare Tinelli,
Aina Niemetz,
Mathias Preiner,
2019,
CADE.
Arnon Avron,
Yoni Zohar,
A. Avron,
2017,
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL).
Sam Blackshear,
David L. Dill,
John C. Mitchell,
2020,
ArXiv.
Christophe Ringeissen,
Clark Barrett,
Yoni Zohar,
2020,
IJCAR.
Anna Zamansky,
Renate A. Schmidt,
Dmitry Tishkovsky,
2019,
Description Logic, Theory Combination, and All That.
Cesare Tinelli,
Yoni Zohar,
Burak Ekici,
2019,
PxTP.
Cesare Tinelli,
Aina Niemetz,
Mathias Preiner,
2022,
VMCAI.
Cesare Tinelli,
Christophe Ringeissen,
Clark Barrett,
2021,
CADE.
Cesare Tinelli,
Aina Niemetz,
Mathias Preiner,
2021,
J. Autom. Reason..
Christophe Ringeissen,
Pascal Fontaine,
Yoni Zohar,
2021,
IJCAI.
Yoni Zohar,
Makai Mann,
Andres Nötzli,
2021,
ArXiv.