Rewriting Techniques and Applications 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings Dershowitz Nachum Heftet / 1989 / Engelsk
Verification: Theory and Practice Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday Dershowitz Nachum Heftet / 2004 / Engelsk
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings Dershowitz Nachum Heftet / 2007 / Engelsk
Language, Culture, Computation: Computing for the Humanities, Law, and Narratives Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part II Dershowitz Nachum Heftet / 2014 / Engelsk
Language, Culture, Computation: Computational Linguistics and Linguistics Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part III Dershowitz Nachum Heftet / 2014 / Engelsk
Language, Culture, Computation: Computing - Theory and Technology Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I Dershowitz Nachum Heftet / 2014 / Engelsk
Conditional and Typed Rewriting Systems 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings Dershowitz Nachum Heftet / 1995 / Engelsk
Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday Avron Arnon Heftet / 2008 / Engelsk
Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday Blass Andreas Heftet / 2010 / Engelsk
Fields of Logic and Computation III Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday Blass Andreas Heftet / 2020 / Engelsk
Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday Beklemishev Lev D. Heftet / 2015 / Engelsk
Unconventional Computation 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings Calude Christian S. Heftet / 2009 / Engelsk
