Arnon Avron
发表
Arnon Avron,
A. Avron,
2011,
J. Log. Comput..
Anna Zamansky,
Arnon Avron,
2007,
J. Multiple Valued Log. Soft Comput..
Anna Zamansky,
Arnon Avron,
2005,
35th International Symposium on Multiple-Valued Logic (ISMVL'05).
Arnon Avron,
Yotam Dvir,
2019,
TABLEAUX.
Arnon Avron,
1999
.
Arnon Avron,
Jonathan Ben-Naim,
Beata Konikowska,
2010,
2010 40th IEEE International Symposium on Multiple-Valued Logic.
Arnon Avron,
A. Avron,
2002
.
Anna Zamansky,
Arnon Avron,
2020,
Log. J. IGPL.
Arnon Avron,
A. Avron,
2003,
TABLEAUX.
Arnon Avron,
A. Avron,
2008,
Theor. Comput. Sci..
Ori Lahav,
Arnon Avron,
A. Avron,
2013,
TOCL.
Arnon Avron,
1994,
J. Log. Comput..
Ori Lahav,
Arnon Avron,
2009,
TABLEAUX.
Arnon Avron,
1991,
Notre Dame J. Formal Log..
Arnon Avron,
2009,
Stud Logica.
Anna Zamansky,
Arnon Avron,
2008,
CSR.
Arnon Avron,
1998,
J. Symb. Log..
Furio Honsell,
Arnon Avron,
Marino Miculan,
1998,
Stud Logica.
Anna Zamansky,
Arnon Avron,
Beata Konikowska,
2013,
J. Log. Comput..
Arnon Avron,
A. Avron,
1990,
Journal of Symbolic Logic.
Arnon Avron,
A. Avron,
2005,
Stud Logica.
Arnon Avron,
Iddo Lev,
2001
.
Arnon Avron,
Beata Konikowska,
A. Avron,
2009,
Stud Logica.
Ori Lahav,
Arnon Avron,
A. Avron,
2010,
Log. Methods Comput. Sci..
Arnon Avron,
A. Avron,
1998,
Log. J. IGPL.
Ian A. Mason,
Furio Honsell,
Arnon Avron,
1989
.
Arnon Avron,
A. Avron,
2008,
Pillars of Computer Science.
Arnon Avron,
Ofer Arieli,
1998,
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Arnon Avron,
Ofer Arieli,
A. Avron,
2016,
FSCD.
Arnon Avron,
Liron Cohen,
A. Avron,
2014,
WoLLIC.
Arnon Avron,
2005,
ECSQARU.
Arnon Avron,
Liron Cohen,
A. Avron,
2018,
LFCS.
Anna Zamansky,
Arnon Avron,
2007,
LFCS.
Arnon Avron,
Ofer Arieli,
A. Avron,
1996,
J. Log. Lang. Inf..
Arnon Avron,
2005,
We Will Show Them!.
Nachum Dershowitz,
Alexander Moshe Rabinovich,
Arnon Avron,
2008,
Pillars of Computer Science.
Ori Lahav,
Arnon Avron,
A. Avron,
2011,
CSR.
Arnon Avron,
Liron Cohen,
2015,
Synthese.
Anna Zamansky,
Arnon Avron,
Ofer Arieli,
2010,
2010 25th Annual IEEE Symposium on Logic in Computer Science.
Yoram Hirshfeld,
Arnon Avron,
1994,
Methods Log. Comput. Sci..
Arnon Avron,
2014,
J. Appl. Non Class. Logics.
Arnon Avron,
A. Avron,
2006,
CiE.
Arnon Avron,
1999,
J. Log. Comput..
Anna Zamansky,
Arnon Avron,
A. Avron,
2008,
Log. Methods Comput. Sci..
Arnon Avron,
A. Avron,
1984,
Journal of Symbolic Logic.
Arnon Avron,
Ofer Arieli,
A. Avron,
2017,
Stud Logica.
Arnon Avron,
Jonathan Ben-Naim,
Beata Konikowska,
2007,
Logica Universalis.
Yoram Hirshfeld,
Arnon Avron,
Y. Hirshfeld,
1991,
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Arnon Avron,
A. Avron,
1988,
Inf. Comput..
Arnon Avron,
A. Avron,
1992,
J. Philos. Log..
Arnon Avron,
2019,
Soft Comput..
Arnon Avron,
Beata Konikowska,
2019,
FLAP.
Arnon Avron,
Iddo Lev,
A. Avron,
2001,
IJCAR.
Anna Zamansky,
Arnon Avron,
2006,
IJCAR.
Arnon Avron,
Ofer Arieli,
A. Avron,
1999,
ESCQARU.
Arnon Avron,
Ofer Arieli,
1996,
Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence.
Arnon Avron,
1990,
Notre Dame J. Formal Log..
Arnon Avron,
A. Avron,
1999
.
Arnon Avron,
Ofer Arieli,
1996,
CSL.
Ori Lahav,
Arnon Avron,
A. Avron,
2011,
TABLEAUX.
Arnon Avron,
2000,
J. Symb. Log..
Ori Lahav,
Arnon Avron,
A. Avron,
2010,
Fields of Logic and Computation.
Arnon Avron,
2014,
Logica Universalis.
Arnon Avron,
A. Avron,
1991,
Annals of Mathematics and Artificial Intelligence.
Arnon Avron,
2020,
Fields of Logic and Computation III.
Anna Zamansky,
Arnon Avron,
A. Avron,
2010,
2010 40th IEEE International Symposium on Multiple-Valued Logic.
Ori Lahav,
Arnon Avron,
2018,
Advances in Modal Logic.
Anna Zamansky,
Arnon Avron,
Agata Ciabattoni,
2009,
CSR.
Arnon Avron,
A. Avron,
1986,
Notre Dame J. Formal Log..
Anna Zamansky,
Arnon Avron,
Ofer Arieli,
2011,
Stud Logica.
Arnon Avron,
2009,
J. Log. Comput..
Arnon Avron,
1995,
Math. Struct. Comput. Sci..
Ori Lahav,
Arnon Avron,
A. Avron,
2013,
J. Log. Comput..
Arnon Avron,
A. Avron,
1990,
Notre Dame J. Formal Log..
Arnon Avron,
Nada Sasson,
2012,
Formal Aspects of Computing.
Arnon Avron,
A. Avron,
1987,
Journal of Symbolic Logic.
Arnon Avron,
2017,
Logica Universalis.
Arnon Avron,
Beata Konikowska,
2001,
Stud Logica.
Arnon Avron,
Liron Cohen,
2016,
J. Formaliz. Reason..
Anna Zamansky,
Arnon Avron,
Beata Konikowska,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
Arnon Avron,
Beata Konikowska,
A. Avron,
2008,
Stud Logica.
Arnon Avron,
2020,
Logica Universalis.
Arnon Avron,
A. Avron,
1988,
Theor. Comput. Sci..
Arnon Avron,
2005,
Annals of Mathematics and Artificial Intelligence.
Ori Lahav,
Arnon Avron,
2011,
EUSFLAT Conf..
Anna Zamansky,
Arnon Avron,
Beata Konikowska,
2015,
Inf. Sci..
Arnon Avron,
Beata Konikowska,
A. Avron,
2012,
Fundam. Informaticae.
Nachum Dershowitz,
Arnon Avron,
Alexander Rabinovich,
2008,
Pillars of Computer Science.
Ian A. Mason,
Furio Honsell,
Arnon Avron,
1992,
Journal of Automated Reasoning.
Anna Zamansky,
Arnon Avron,
A. Avron,
2012,
Ann. Pure Appl. Log..
Anna Zamansky,
Arnon Avron,
Ofer Arieli,
2011,
Stud Logica.
Arnon Avron,
A. Avron,
2000,
TABLEAUX.
Arnon Avron,
A. Avron,
1991,
Journal of Symbolic Logic.
Arnon Avron,
2011,
LSFA.
Arnon Avron,
A. Avron,
1997,
Log. J. IGPL.
Arnon Avron,
Liron Cohen,
A. Avron,
2018,
Log. Methods Comput. Sci..
Arnon Avron,
Iddo Lev,
2005,
J. Log. Comput..
Arnon Avron,
Iddo Lev,
2004,
Proceedings. 34th International Symposium on Multiple-Valued Logic.
Arnon Avron,
1992,
J. Log. Comput..
Arnon Avron,
1986,
Notre Dame J. Formal Log..
Arnon Avron,
1998,
Log. J. IGPL.
Arnon Avron,
A. Avron,
2014,
Ann. Pure Appl. Log..
Anna Zamansky,
Arnon Avron,
2006,
Algebraic and Proof-theoretic Aspects of Non-classical Logics.
Arnon Avron,
Yoni Zohar,
A. Avron,
2018,
The Review of Symbolic Logic.
Arnon Avron,
A. Avron,
1984,
Journal of Symbolic Logic.
Ori Lahav,
Arnon Avron,
A. Avron,
2015,
Fuzzy Sets Syst..
Anna Zamansky,
Arnon Avron,
2009,
LFCS.
Anna Zamansky,
Arnon Avron,
2006,
Stud Logica.
Arnon Avron,
Ofer Arieli,
A. Avron,
1998,
Artif. Intell..
Arnon Avron,
A. Avron,
2016,
Fuzzy Sets Syst..
Arnon Avron,
Ofer Arieli,
2015
.
Anna Zamansky,
Arnon Avron,
Ofer Arieli,
2011,
IJCAI.
Arnon Avron,
2007,
Int. J. Approx. Reason..
Arnon Avron,
2003
.
Arnon Avron,
1991,
J. Philos. Log..
Arnon Avron,
Ofer Arieli,
A. Avron,
2000,
Log. J. IGPL.
Arnon Avron,
Nissan Levi,
Shahar Lev,
2018,
CSL.
Arnon Avron,
Jonathan Ben-Naim,
Beata Konikowska,
2009,
Towards Mathematical Philosophy.
Arnon Avron,
A. Avron,
2005
.
Arnon Avron,
A. Avron,
2001,
Proceedings 31st IEEE International Symposium on Multiple-Valued Logic.
Arnon Avron,
1994
.
Arnon Avron,
2004,
MKM.
Arnon Avron,
2016,
IJCAR.
Arnon Avron,
Ofer Arieli,
A. Avron,
1999,
Journal of Automated Reasoning.
Arnon Avron,
Beata Konikowska,
A. Avron,
2005,
Log. J. IGPL.
Arnon Avron,
Ofer Arieli,
A. Avron,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Arnon Avron,
2005,
J. Appl. Log..
Arnon Avron,
2004,
Journal of Automated Reasoning.
Arnon Avron,
Yoni Zohar,
A. Avron,
2017,
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL).
Arnon Avron,
Jean-Yves Béziau,
2017,
Log. J. IGPL.
Anna Zamansky,
Arnon Avron,
2007,
37th International Symposium on Multiple-Valued Logic (ISMVL'07).
Arnon Avron,
1996,
Math. Struct. Comput. Sci..
Arnon Avron,
Iddo Lev,
A. Avron,
2001
.
Anna Zamansky,
Arnon Avron,
Ofer Arieli,
2010,
KR.
Anna Zamansky,
Arnon Avron,
2006,
KR.
Anna Zamansky,
Arnon Avron,
2016,
Advances in Modal Logic.
Arnon Avron,
2021,
Outstanding Contributions to Logic.
Arnon Avron,
Nissan Levi,
2021,
WoLLIC.
Arnon Avron,
2021,
TABLEAUX.
Arnon Avron,
Beata Konikowska,
A. Avron,
2004
.
Arnon Avron,
Beata Konikowska,
A. Avron,
2012
.
Arnon Avron,
A. Avron,
2016
.
Arnon Avron,
Ofer Arieli,
1995
.
Nachum Dershowitz,
Arnon Avron,
A. Avron,
2016,
Am. Math. Mon..
Arnon Avron,
A. Avron,
2003
.
Arnon Avron,
2001
.
Arnon Avron,
2019
.