Contributions

  • Dershowitz, Nachum. - Contributor
  • Lindenstrauss, Naomi. - Contributor
  • International Colloquium on Automata, Languages, and Programming (21st : 1994 : Jerusalem) - Contributor

Publication

1995 - Springer, Berlin

Language

English

Word Count

93,250 words, Guess

Page Count

373 pages

Identifiers

  • Open LibraryOL803127M
  • ISBN-103540603816
  • ISBN-139783540603818
  • Goodreads976408
  • Library of Congress Control Number95039593

Classifications

  • DDC005.13/1
  • LCCQA267 .I5783 1994

Subjects

Other Editions

  • Conditional and typed rewriting systems: 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedingsSpringer1995-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!