Вы здесь

Главная

Dershowitz N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ The Church-Turing Thesis over Arbitrary Domains 2008 Boker U., Dershowitz N. Lecture Notes in Computer Science Lecture Notes in Computer Science 15.04.2008
СТ Paean to Zohar Manna 2003 Dershowitz N. Lecture Notes in Computer Science 26.03.2004
СТ Rewrite Systems 1994 Dershowitz N., Jouannaud J. -P. Handbook of Theoretical Computer Science. Formal Models and Semantics. Volume B 27.01.1998
СТ Goal Solving as Operational Semantics 1995 Dershowitz N. Logic Programming: Proc. of the Intern. Symp. 24.04.1996
СТ 33 Examples of Termination 1995 Dershowitz N. Lecture Notes in Computer Science 15.06.1995
СТ Equational Inference, Canonical Proofs, and Proof Orderings 1994 Bachmair L., Dershowitz N. J. of the ACM 14.06.1994
СТ Higher-Order and Semantic Unification 1993 Dershowitz N., Mitra S. Lecture Notes in Computer Science 20.01.1994
СТ Debugging Logic Programs Using Specifications 1993 Lee Y., Dershowitz N. Lecture Notes in Computer Science 09.12.1993
СТ A Taste of Rewrite Systems 1993 Dershowitz N. Lecture Notes in Computer Science 05.08.1993
СТ More Problems in Rewriting 1993 Dershowitz N., Jouannaud J. -P., Klop J. W. Lecture Notes in Computer Science 09.07.1993
СТ Trees, ordinals and termination 1993 Dershowitz N. Lecture Notes in Computer Science 26.05.1993
СТ Canonical Sets of Horn Clauses 1991 Dershowitz N. Lecture Notes in Computer Science 12.09.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday 2020 Lecture Notes in Computer Science
  1. Blass A.
  2. Cegielski P.
  3. Dershowitz N.
  4. Droste M.
 28.07.2020
СБ Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday 2015 Lecture Notes in Computer Science
  1. Beklemishev L. D.
  2. Blass A.
  3. Dershowitz N.
  4. Finkbeiner B.
 20.10.2015
СБ Language, Culture, Computation: Computing - Theory and Technology: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I 2014 Lecture Notes in Computer Science
  1. Dershowitz N.
  2. Nissan E.
 14.01.2015
СБ Language, Culture, Computation: Computing of the Humanities, Law, and Narratives: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II 2014 Lecture Notes in Computer Science
  1. Dershowitz N.
  2. Nissan E.
 14.01.2015
СБ Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday 2010 Lecture Notes in Computer Science
  1. Blass A.
  2. Dershowitz N.
  3. Reisig W.
 21.09.2010
СБ Unconventional Computation: Proc./8th International Conference, UC 2009, Ponta Delgada, Portugal, September 2009 2009 Lecture Notes in Computer Science
  1. Calude C. S.
  2. Costa J. F.
  3. Dershowitz N.
  4. Freire E.
 03.02.2010
СБ Logic for Programming, Artificial Intelligence and Reasoning: Proc./14th International Conference, LPAR 2007. Yerevan, Armenia, October 2007 2007 Lecture Notes in Artificial Intelligence
  1. Dershowitz N.
  2. Voronkov A.
 27.02.2008
СБ Verification: Theory and Practice. Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday 2003 Lecture Notes in Computer Science
  1. Dershowitz N.
 26.03.2004
СБ Conditional and Typed Rewriting Systems: Proc./4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 1995 Lecture Notes in Computer Science
  1. Dershowitz N.
  2. Lindenstrauss N.
 03.11.1995