Iddo Lev

Publication Activity (10 Years)

Years Active: 2001-2005
Publications (10 Years): 0

Publications

Arnon Avron, Iddo Lev
Non-deterministic Multiple-valued Structures. J. Log. Comput. 15 (3) (2005)
Arnon Avron, Iddo Lev
Non-Deterministic Matrices. ISMVL (2004)
Arnon Avron, Iddo Lev
Canonical Propositional Gentzen-Type Systems. IJCAR (2001)