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