13 citations to https://www.mathnet.ru/eng/jlc1
-
Ori Lahav, Yoni Zohar, Lecture Notes in Computer Science, 8652, Logic, Language, Information, and Computation, 2014, 206
-
Ori Lahav, Arnon Avron, “A unified semantic framework for fully structural propositional sequent systems”, ACM Trans. Comput. Logic, 14:4 (2013), 1
-
O. Lahav, 2012 IEEE 42nd International Symposium on Multiple-Valued Logic, 2012, 79