N. Dershowitz

发表

N. Dershowitz, 1994, RTA.
Nachum Dershowitz, Mitsuhiro Okada, N. Dershowitz, 1990, Theor. Comput. Sci..
Nachum Dershowitz, Ziyad Hanna, Jacob Katz, 2005, SAT.
Nachum Dershowitz, G. Sivakumar, Mitsuhiro Okada, 1988, CTRS.
Nachum Dershowitz, G. Sivakumar, Mitsuhiro Okada, 1988, CADE.
Lior Wolf, Nachum Dershowitz, Orna Almogi, 2016, CICLing.
Lior Wolf, Nachum Dershowitz, Roni Shweka, 2009, 2009 IEEE 12th International Conference on Computer Vision Workshops, ICCV Workshops.
Lior Wolf, Nachum Dershowitz, Kfir Bar, 2014, Int. J. Comput. Linguistics Appl..
Nachum Dershowitz, Lonneke van der Plas, Kfir Bar, 2010, AMTA.
Nachum Dershowitz, Ralf Treinen, N. Dershowitz, 2010 .
N. Dershowitz, L. Wolf, Roni Shweka, 2011 .
N. Dershowitz, J. Hsiang, Daher Kaiss, 2005 .
N. Dershowitz, J. Hsiang, G. Huang, 2003 .
Nachum Dershowitz, N. Alan Josephson, N. Dershowitz, 1984, International Conference on Logic Programming.
Nachum Dershowitz, N. Dershowitz, 1989 .
Nachum Dershowitz, N. Dershowitz, 2001 .
N. Dershowitz, Alexandra Deligiorgi, 2003 .
Miguel A. Ferrer, Imran Siddiqi, Marcus Liwicki, 2014, International Conference on Frontiers in Handwriting Recognition.
Alexander Nadel, N. Dershowitz, 2008 .
Nachum Dershowitz, Tamir Hazan, Lior Wolf, 2014, 2014 IEEE Conference on Computer Vision and Pattern Recognition.
N. Dershowitz, Subrata Mitra, 1992 .
Y. Gurevich, A. Blass, N. Dershowitz, 2009 .
Olivier Bournez, N. Dershowitz, 2012 .
N. Dershowitz, Udi Boker, 2006 .
E. Reingold, N. Dershowitz, 2007 .
Nachum Dershowitz, Olivier Bournez, Evgenia Falkovich, 2012, TAMC.
N. Dershowitz, E. Falkovich, Evgenia Falkovich, 2013 .
N. Dershowitz, E. Falkovich, 2013 .
Nachum Dershowitz, N. Dershowitz, 1989, Lecture Notes in Computer Science.
N. Dershowitz, E. Falkovich, 2014 .
N. Dershowitz, Udi Boker, 2016 .
J. Jouannaud, N. Dershowitz, Jianqi Li, 2016 .
Ryszard S. Michalski, Nachum Dershowitz, D. Michie, 1982 .
N. Dershowitz, Iddo Tzameret, 2005 .
N. Dershowitz, Charles Hoot, 1996 .
Nachum Dershowitz, Leo Bachmair, L. Bachmair, 1987, LICS.
D. Plaisted, N. Dershowitz, 1989 .
Nachum Dershowitz, Edward M. Reingold, E. Reingold, 2007 .
Nachum Dershowitz, Yuh-Jeng Lee, N. Dershowitz, 1987, SLP.
E. Reingold, N. Dershowitz, 2005 .
Nachum Dershowitz, David A. Plaisted, D. Plaisted, 2001 .
Nachum Dershowitz, Edward M. Reingold, E. Reingold, 2007 .
Rakesh M. Verma, N. Dershowitz, Xuting Liu, 2022, ArXiv.
Rakesh M. Verma, N. Dershowitz, Xuting Liu, 2021 .
N. Dershowitz, T. Kuflik, Hadar Miller, 2022 .
N. Dershowitz, 2018 .
Nachum Dershowitz, Gilles Dowek, Gilles Dowek, 2016, J. Log. Comput..
Nachum Dershowitz, Edward M. Reingold, E. Reingold, 2002 .
Nachum Dershowitz, Edward M. Reingold, E. Reingold, 2008 .
E. Reingold, N. Dershowitz, 2009 .
Nachum Dershowitz, Edward M. Reingold, E. Reingold, 2001 .
Nachum Dershowitz, Edward M. Reingold, E. Reingold, 2007 .
Nachum Dershowitz, Edward M. Reingold, E. Reingold, 2007 .
Nachum Dershowitz, Edward M. Reingold, E. Reingold, 2007 .
Nachum Dershowitz, Edward M. Reingold, E. Reingold, 2007 .
N. Dershowitz, Evgenia Falkovich, 2012 .
Wolfgang Reisig, Nachum Dershowitz, Andreas Blass, 2020, Fields of Logic and Computation III.
Nachum Dershowitz, N. Dershowitz, 2003, FTP.
Nachum Dershowitz, N. Dershowitz, 2004, ICLP.
Nachum Dershowitz, N. Dershowitz, 2005, LPAR.
Nachum Dershowitz, Yuri Gurevich, Y. Gurevich, 2008, Bulletin of Symbolic Logic.
Nachum Dershowitz, Shmuel Zaks, S. Zaks, 1986, Discret. Math..
Nachum Dershowitz, Shmuel Zaks, S. Zaks, 2008, SIAM J. Discret. Math..
Nachum Dershowitz, Udi Boker, N. Dershowitz, 2008, Pillars of Computer Science.
Nachum Dershowitz, Shmuel Zaks, S. Zaks, 1990, Eur. J. Comb..
Nachum Dershowitz, Shmuel Zaks, S. Zaks, 1981, CAAP.
Nachum Dershowitz, Edward M. Reingold, E. Reingold, 2018 .
Nachum Dershowitz, N. Dershowitz, 1980, Inf. Process. Lett..
Nachum Dershowitz, Christian Rinderknecht, N. Dershowitz, 2015 .
Jean-Pierre Jouannaud, Nachum Dershowitz, J. Jouannaud, 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
Nachum Dershowitz, Jieh Hsiang, N. Dershowitz, 1983, ICALP.
Nachum Dershowitz, N. Dershowitz, 1987, J. Symb. Comput..
Jean-Pierre Jouannaud, Nachum Dershowitz, J. Jouannaud, 2018, LPAR.
Nachum Dershowitz, Leo Bachmair, L. Bachmair, 1986, CADE.
Nachum Dershowitz, Charles Hoot, N. Dershowitz, 1995, Theor. Comput. Sci..
Nachum Dershowitz, Kfir Bar, Yaacov Choueka, 2014, Language, Culture, Computation.
Nachum Dershowitz, N. Dershowitz, 1985, Inf. Control..
Lior Wolf, Nachum Dershowitz, Orna Almogi, 2014, DH.
Nachum Dershowitz, Iddo Tzameret, N. Dershowitz, 2003, WoLLIC.
Nachum Dershowitz, Ralf Treinen, N. Dershowitz, 1998, RTA.
Jean-Pierre Jouannaud, Nachum Dershowitz, Jan Willem Klop, 1993, RTA.
Nachum Dershowitz, Edward M. Reingold, E. Reingold, 1992, LFCS.
Nachum Dershowitz, N. Dershowitz, 1979, Inf. Process. Lett..
Nachum Dershowitz, N. Dershowitz, 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).
Nachum Dershowitz, Olivier Bournez, Pierre Néron, 2016, CiE.
N. Dershowitz, Evgenia Falkovich, 2014 .
Maria Paola Bonacina, Nachum Dershowitz, N. Dershowitz, 2013, Programming Logics.
Maria Paola Bonacina, Nachum Dershowitz, N. Dershowitz, 2004, TOCL.
Nachum Dershowitz, Charles Hoot, N. Dershowitz, 1993, RTA.
Nachum Dershowitz, Moshe Koppel, Navot Akiva, 2015 .
Nachum Dershowitz, N. Dershowitz, 1991, IJCAI.
Nachum Dershowitz, Zvi Retchkiman Konigsberg, N. Dershowitz, 2019 .
Nachum Dershowitz, N. Dershowitz, 1985, ACM Trans. Program. Lang. Syst..
Kfir Bar, N. Dershowitz, Ido Ziv, 2021, Scandinavian journal of psychology.
Lior Wolf, Nachum Dershowitz, Roni Shweka, 2011, 2011 18th IEEE International Conference on Image Processing.
Nachum Dershowitz, Andrey Rosenberg, N. Dershowitz, 2014, Language, Culture, Computation.
Tal Hassner, Lior Wolf, Nachum Dershowitz, 2013, 2013 12th International Conference on Document Analysis and Recognition.
Nachum Dershowitz, Ziyad Hanna, Jacob Katz, 2005, Design, Automation and Test in Europe.
Nachum Dershowitz, Edward M. Reingold, E. Reingold, 1990, Softw. Pract. Exp..
N. Dershowitz, Y. Choueka, K. Bar, 2007 .
Nachum Dershowitz, Shmuel Zaks, S. Zaks, 1989, Discret. Appl. Math..
Nachum Dershowitz, Leo Bachmair, Jieh Hsiang, 1986, LICS.
Nachum Dershowitz, David A. Plaisted, Jieh Hsiang, 1983, IJCAI.
Nachum Dershowitz, N. Dershowitz, 2009, Languages: From Formal to Natural.
Nachum Dershowitz, Amnon Ta-Shma, Idan Dershowitz, 2014, DH.
Nachum Dershowitz, Moshe Koppel, Navot Akiva, 2011, ACL.
Nachum Dershowitz, Andreas Blass, Yuri Gurevich, 2008, The Bulletin of Symbolic Logic.
Jean-Pierre Jouannaud, Nachum Dershowitz, Jan Willem Klop, 1995, RTA.
N. Dershowitz, 2012 .
N. Dershowitz, 2010 .
Nachum Dershowitz, N. Dershowitz, 1993, Functional Programming, Concurrency, Simulation and Automated Reasoning.
Nachum Dershowitz, Leo Bachmair, L. Bachmair, 1994, JACM.
Nachum Dershowitz, Yuri Gurevich, Y. Gurevich, 2007 .
Nachum Dershowitz, N. Dershowitz, 2004, Lecture Notes in Computer Science.
Nachum Dershowitz, Seungjoon Park, D. N. Jayasimha, 2003, Verification: Theory and Practice.
Nachum Dershowitz, N. Dershowitz, 2021, Commun. ACM.
Nachum Dershowitz, G. Sivakumar, Subrata Mitra, 1990, ALP.
Nachum Dershowitz, N. Alan Josephson, N. Dershowitz, 1989, J. Log. Program..
Nachum Dershowitz, David A. Plaisted, D. Plaisted, 1985, SOEN.
Nachum Dershowitz, Kfir Bar, Samuel Itzikowitz, 2019, Proceedings of the Sixth Workshop on Computational Linguistics and Clinical Psychology.
Nachum Dershowitz, Udi Boker, N. Dershowitz, 2010, Fields of Logic and Computation.
Nachum Dershowitz, Aviezri S. Fraenkel, Yaacov Choueka, 1978, JACM.
Ephraim Nissan, Nachum Dershowitz, N. Dershowitz, 2014, Language, Culture, Computation.
Lior Wolf, Nachum Dershowitz, Roni Shweka, 2011, International Journal of Computer Vision.
Nachum Dershowitz, Lior Wolf, Gil Levi, 2018, 2018 IEEE Winter Conference on Applications of Computer Vision (WACV).
Nachum Dershowitz, N. Dershowitz, 1993, TAPSOFT.
Nachum Dershowitz, Georg Moser, N. Dershowitz, 2007, Rewriting, Computation and Proof.
Nachum Dershowitz, Alexander Serebrenik, Yehoshua Sagiv, 2000, Applicable Algebra in Engineering, Communication and Computing.
Nachum Dershowitz, Edward M. Reingold, Stewart M. Clamen, 1993, Softw. Pract. Exp..
Nachum Dershowitz, Arnon Avron, A. Avron, 2016, Am. Math. Mon..
Nachum Dershowitz, N. Dershowitz, 1985, Artificial Intelligence.
Nachum Dershowitz, Yuh-Jeng Lee, N. Dershowitz, 1993, J. Symb. Comput..
Zohar Manna, Nachum Dershowitz, Z. Manna, 1978, IEEE Transactions on Software Engineering.
Zohar Manna, Nachum Dershowitz, Z. Manna, 1977, IEEE Transactions on Software Engineering.
Claude Kirchner, Nachum Dershowitz, C. Kirchner, 2006, Theor. Comput. Sci..
Claude Kirchner, Nachum Dershowitz, C. Kirchner, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Nachum Dershowitz, N. Dershowitz, 2003, ArXiv.
Nachum Dershowitz, N. Dershowitz, 1991, ICALP.
Nachum Dershowitz, Leo Bachmair, L. Bachmair, 1987, Theor. Comput. Sci..
Zohar Manna, Nachum Dershowitz, Z. Manna, 1979, CACM.
Jean-Pierre Jouannaud, Nachum Dershowitz, J. Jouannaud, 1991, Bull. EATCS.
Tal Hassner, Lior Wolf, Nachum Dershowitz, 2015, 2015 13th International Conference on Document Analysis and Recognition (ICDAR).
Tal Hassner, Lior Wolf, Nachum Dershowitz, 2016 .
Nachum Dershowitz, Tamir Hazan, Lior Wolf, 2016, Front. Digit. Humanit..
Nachum Dershowitz, Ido Kissos, N. Dershowitz, 2016, 2016 12th IAPR Workshop on Document Analysis Systems (DAS).
Kfir Bar, N. Dershowitz, Saeed Esmail, 2022, Computational Linguistics.
N. Dershowitz, Udi Boker, 2020 .
Lior Wolf, Nachum Dershowitz, Orna Almogi, 2016, J. Data Min. Digit. Humanit..
Nachum Dershowitz, Evgenia Falkovich-Derzhavetz, N. Dershowitz, 2016, Log. J. IGPL.
Nachum Dershowitz, Shmuel Zaks, S. Zaks, 1980, Discret. Math..
Nachum Dershowitz, Andreas Blass, Yuri Gurevich, 2010, CSL.
Nachum Dershowitz, Daher Kaiss, Jieh Hsiang, 2006, LPAR.
Claude Kirchner, Nachum Dershowitz, C. Kirchner, 2002 .
Nachum Dershowitz, Udi Boker, N. Dershowitz, 2009, Appl. Math. Comput..
Nachum Dershowitz, Udi Boker, N. Dershowitz, 2005, Log. J. IGPL.
Nachum Dershowitz, Daniel Stökl Ben Ezra, Bronson Brown-DeVost, 2020, 2020 17th International Conference on Frontiers in Handwriting Recognition (ICFHR).
Lior Wolf, Nachum Dershowitz, Lior Uzan, 2017, 2017 14th IAPR International Conference on Document Analysis and Recognition (ICDAR).
Lior Wolf, Nachum Dershowitz, Yoram Zarai, 2013, 2013 12th International Conference on Document Analysis and Recognition.
Nachum Dershowitz, N. Dershowitz, 2005, RTA.
Nachum Dershowitz, N. Dershowitz, 1992, CTRS.
Nachum Dershowitz, David A. Plaisted, Stéphane Kaplan, 1989, ICALP.
Nachum Dershowitz, N. Dershowitz, 2005, Processes, Terms and Cycles.
Ephraim Nissan, Nachum Dershowitz, N. Dershowitz, 2014, Lecture Notes in Computer Science.
Nachum Dershowitz, N. Dershowitz, 1993, Term Rewriting.
Nachum Dershowitz, N. Dershowitz, 1992 .
Nachum Dershowitz, N. Dershowitz, 1985, IJCAI.
Nachum Dershowitz, Naomi Lindenstrauss, N. Dershowitz, 1990, ALP.
E. Reingold, N. Dershowitz, 2018 .
Eric Werner, Sivan Keret, Lior Wolf, 2019, 2019 International Conference on Document Analysis and Recognition (ICDAR).
Jean-Pierre Jouannaud, Nachum Dershowitz, Jan Willem Klop, 1991, RTA.
Nachum Dershowitz, Ziyad Hanna, Alexander Nadel, 2006, SAT.
Wolfgang Reisig, Nachum Dershowitz, Andreas Blass, 2010, Fields of Logic and Computation.
Nachum Dershowitz, N. Dershowitz, 2019, ArXiv.
Nachum Dershowitz, Udi Boker, N. Dershowitz, 2006, Appl. Math. Comput..
N. Dershowitz, Udi Boker, 2005, cs/0510069.
Nachum Dershowitz, Udi Boker, N. Dershowitz, 2005, CiE.
Nachum Dershowitz, Udi Boker, N. Dershowitz, 2016, Martin Davis on Computability, Computational Logic, and Mathematical Foundations.
Nachum Dershowitz, Ziyad Hanna, Yulik Feldman, 2005, PDMC.
Nachum Dershowitz, N. Dershowitz, 2008, PAAR/ESHOL.
Nachum Dershowitz, N. Dershowitz, 1995, ILPS.
Claude Kirchner, Nachum Dershowitz, C. Kirchner, 2008, Concurrency, Graphs and Models.
Nachum Dershowitz, Alexander Serebrenik, Yehoshua Sagiv, 2000, Verification of Logic Programs@ICLP.
Nachum Dershowitz, Naomi Lindenstrauss, N. Dershowitz, 1990, Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology'.
N. Dershowitz, G. Sivakumar, 1988, AAAI.
Nachum Dershowitz, Leo Bachmair, L. Bachmair, 1988, J. Symb. Comput..
Nachum Dershowitz, G. Sivakumar, N. Dershowitz, 1988, CTRS.
Nachum Dershowitz, N. Dershowitz, 1990, CTRS.
Nachum Dershowitz, David A. Plaisted, N. Dershowitz, 1988 .
D. Plaisted, N. Dershowitz, 1986 .
Nachum Dershowitz, David A. Plaisted, D. Plaisted, 1985, SLP.
Nachum Dershowitz, David A. Plaisted, Stéphane Kaplan, 1991, Theor. Comput. Sci..
Nachum Dershowitz, Daher Kaiss, Jieh Hsiang, 2004, SAT.
Lior Wolf, Nachum Dershowitz, Alon Kovalchuk, 2014, 2014 14th International Conference on Frontiers in Handwriting Recognition.
Kfir Bar, N. Dershowitz, Lena Dankin, 2020, Computación y Sistemas.
Nachum Dershowitz, Lior Wolf, Kfir Bar, 2015, 2015 First International Conference on Arabic Computational Linguistics (ACLing).
N. Dershowitz, 2021 .
N. Dershowitz, Bronson Brown-deVost, Berat Kurar-Barakat, 2024, ArXiv.
Nachum Dershowitz, Eshbal Ratzon, N. Dershowitz, 2020, PloS one.
Rakesh M. Verma, N. Dershowitz, 2023, Commun. ACM.