Advanced Topics In Term Rewriting

‏259.00 ₪
+ ‏122.99 ₪ משלוח

Advanced Topics In Term Rewriting

נמכר על ידי:
  • product image

‏259.00 ₪

במלאי
+ ‏122.99 ₪ משלוח

מדיניות החזרות ל-14 יום

אמצעי תשלום:

פרטי מוצר

פרטי מוצר

Advanced Topics In Term Rewriting

Unlike Current Survey Articles And Textbooks, Here The So-called Confluence And Termination Hierarchies Play A Key Role. Throughout, The Relationships Between The Properties In The Hierarchies Are Reviewed, And It Is Shown That For Every Implication X Y In The Hierarchies, The Property X Is Undecidable For All Term Rewriting Systems Satisfying Y. Topics Covered Include: The Newest Techniques For Proving Termination Of Rewrite Systems; A Comprehensive Chapter On Conditional Term Rewriting Systems; A State-of-the-art Survey Of Modularity In Term Rewriting, And A Uniform Framework For Term And Graph Rewriting, As Well As The First Result On Conditional Graph Rewriting.
  • מותג: Springer Nature B.V
  • קטגוריה: מחשוב ואינטרנט
  • מספר עמודים: 436
  • שָׂפָה: English
  • מְחַבֵּר: Enno Ohlebusch
  • מוציא לאור / תווית: Springer Nature B.V
  • פוּרמָט: Hardcover
  • תאריך פרסום: 2002-04-12
  • מזהה Fruugo: 550927480-1115605810
  • ISBN: 9780387952505
משלוח

מְסִירָה

שילוח תוך 24 שעות

  • STANDARD: ‏122.99 ₪ - משלוח בין יום ה׳ 19 נובמבר 2026–יום ד׳ 09 דצמבר 2026

משלוח מ- בריטניה.

החזרות

החזרות

אנו עושים כמיטב יכולתנו להבטיח שהמוצרים שאתם מזמינים יישלחו אליכם במלואם ובהתאם למפרט שלכם. עם זאת, אם תקבלו הזמנה חלקית, או פריטים שונים מאלו שהזמנתם, או שיש סיבה אחרת לכך שאינכם מרוצים מההזמנה, באפשרותכם להחזיר את ההזמנה, או כל אחד מהמוצרים הכלולים בהזמנה, ולקבל החזר מלא עבור הפריטים.

הצג מדיניות ההחזרים המלאה