(1 - 4 von 6
)
CSAIL Calendar: SAT-based Decision Procedure for Analytic Pure...
calendar.csail.mit.edu
... primal infon logic and several natural extensions of it. Based on a work in-progress together with Yoni Zohar (also from Tel Aviv University).
IsraLog 2017: Israeli Workshop on Non-Classical Logics, Oct...
resources.illc.uva.nl
... Israel) Liron Cohen (Cornell Univeristy, USA) Nachum Dershowitz (Tel Aviv University, Israel) Ori Lahav (Max Planck Institute, Germany) Yoni Zohar (Tel-Aviv ...
sortiert nach Relevanz / Datum