Advanced Topics In Term Rewriting

٤٬٣٩٩٫٠٠ E£
+ ١٬٦٧٠٫٤٩ E£ الشحن

Advanced Topics In Term Rewriting

البائع:
  • product image

٤٬٣٩٩٫٠٠ E£

في المخزون
+ ١٬٦٧٠٫٤٩ E£ الشحن

سياسة الإرجاع لمدة 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
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Hardcover
  • اللغة: English
  • المؤلف: Enno Ohlebusch
  • عدد الصفحات: 436
  • تاريخ النشر: 2002-04-12
  • الناشر/ العنوان: Springer Nature B.V
  • هوية Fruugo: 550927480-1115605810
  • ISBN: 9780387952505
التوصيل

توصيل

يُرسل خلال 24 ساعة

  • STANDARD: ١٬٦٧٠٫٤٩ E£ - التسليم بين الأربعاء 11 نوفمبر 2026 – الأربعاء 09 ديسمبر 2026

يُشحن من المملكة المتحدة.

الإرجاع

الإرجاع

نحن نبذل قصارى جهدنا لضمان أن تصلك المنتجات التي تطلبها بالكامل وطبقاً المواصفات التي حددتها. إلا أنه في حال تلقيك طلب غير كامل أو أغراض تختلف عن تلك التي طلبتها أو كان هناك سبب آخر يدعوك لعدم الرضاء عن الطلب، فيمكنك رد الطلب أو أي منتجات يتضمنها الطلب واسترداد ما دفعته من أجل تلك الأغراض بالكامل.

عرض سياسة الرد الكاملة