Iddo Lev

According to our database¹, Iddo Lev authored at least 4 papers between 2001 and 2007.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2007

Packed computation of exact meaning representations.

[BibT_eX]

[DOI]

PhD thesis, 2007

2005

Non-deterministic Multiple-valued Structures.

[BibT_eX]

[DOI]

J. Log. Comput., 2005

2004

Non-Deterministic Matrices.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 2004

2001

Canonical Propositional Gentzen-Type Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, First International Joint Conference, 2001