Nachum Dershowitz

Books by Nachum Dershowitz

Total count: 24

• 
  A note on simplification orderings

  Dept. of Computer Science, University of Illinois at Urbana-Champaign1979-01-01
• Enumerations of ordered trees

  Dept. of Computer Science, University of Illinois at Urbana-Champaign1979-01-01
• 
  The Schorr-Waite marking algorithm revisited

  Dept. of Computer Science, University of Illinois at Urbana-Champaign1979-01-01
• 
  Orderings for term-rewriting systems

  Dept. of Computer Science, University of Illinois at Urbana-Champaign1979-01-01
• The evolution of programs

  Dept. of Computer Science, University of Illinois at Urbana-Champaign1980-01-01
• 
  Evolution of Programmes (Progress in Computer Science)

  Birkhauser Verlag AG1984-02-06
• Termination of rewriting

  Dept. of Computer Science, University of Illinois at Urbana-Champaign1985-01-01
• Equational programming

  Dept. of Computer Science, University of Illinois at Urbana-Champaign1986-01-01
• 
  Rewriting Techniques and Applications3rd International Conference, Rta-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings (Lecture Notes in Computer Science)

  Not Avail1989-04-01
• 
  Conditional and Typed Rewriting Systems: 4th International Workshop, Ctrs-94, Jerusalem, Israel, July 1994Proceedings (Lecture Notes in Computer)

  Springer1995-10-01
• 
  Calendrical calculations

  Cambridge University Press1997-01-01
• 
  Calendrical CalculationsThe Millennium EditionMillennium edition edition

  Cambridge University Press2001-07-01
• Verification : Theory and PracticeEssays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

  Springer London, Limited2004-01-01
• 
  VerificationTheory and Practice1 edition

  Springer2004-04-14
• Logic for Programming, Artificial Intelligence, and Reasoning14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

  Springer London, Limited2007-01-01
• 
  Calendrical Calculations3 edition

  Cambridge University Press2007-11-30
• Pillars of Computer ScienceEssays Dedicated to Boris Trakhtenbrot on the Occasion of His 85th Birthday

  Springer London, Limited2008-01-01
• Fields of Logic and ComputationEssays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

  Springer London, Limited2010-01-01
• 
  Fields of logic and computationessays dedicated to Yuri Gurevich on the occasion of his 70th birthday

  Springer2010-01-01
• Language, Culture, Computation : Computational Linguistics and LinguisticsEssays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part III

  Springer London, Limited2014-01-01
and 4 more