Iddo Lev

2005
3	EE	Arnon Avron, Iddo Lev: Non-deterministic Multiple-valued Structures. J. Log. Comput. 15(3): 241-261 (2005)
2004
2	EE	Arnon Avron, Iddo Lev: Non-Deterministic Matrices. ISMVL 2004: 282-287
2001
1	EE	Arnon Avron, Iddo Lev: Canonical Propositional Gentzen-Type Systems. IJCAR 2001: 529-544

Coauthor Index

1

Arnon Avron

[1] [2] [3]