According to our database1, Yoni Zohar authored at least 26 papers between 2014 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic.
Stud Logica, 2020
Ann. Pure Appl. Log., 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
ACM Trans. Comput. Log., 2019
Rexpansions of Nondeterministic matrices and their Applications in nonclassical Logics.
Rev. Symb. Log., 2019
Proceedings of the Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, 2019
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019
Proceedings of the 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 2019
Proceedings of the Automated Deduction - CADE 27, 2019
Proceedings of the Description Logic, Theory Combination, and All That, 2019
Online detection of effectively callback free objects with applications to smart contracts.
Proc. ACM Program. Lang., 2018
J. Log. Comput., 2018
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017
Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017
Proceedings of the GCAI 2017, 2017
'Mathematical' Does Not Mean 'Boring': Integrating Software Assignments to Enhance Learning of Logico-Mathematical Concepts.
Proceedings of the Advanced Information Systems Engineering Workshops, 2016
Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
Proceedings of the Advances in Modal Logic 11, 2016
Proceedings of the Logic, Language, Information, and Computation, 2014
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014