دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop Montreal, Canada, June 11–14, 1990 Proceedings
دانلود کتاب سیستم های بازنویسی مشروط و تایپ شده: دومین کارگاه بین المللی CTRS مونترال، کانادا، 11 تا 14 ژوئن، 1990 مجموعه مقالات
مشخصات کتاب
Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop Montreal, Canada, June 11–14, 1990 Proceedings
ویرایش: 1 نویسندگان: Francois Bronsard, Uday S. Reddy (auth.), S. Kaplan, M. Okada (eds.) سری: Lecture Notes in Computer Science 516 ISBN (شابک) : 3540543171, 9783540543176 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1991 تعداد صفحات: 470 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 42,000
کلمات کلیدی مربوط به کتاب سیستم های بازنویسی مشروط و تایپ شده: دومین کارگاه بین المللی CTRS مونترال، کانادا، 11 تا 14 ژوئن، 1990 مجموعه مقالات: منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop Montreal, Canada, June 11–14, 1990 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های بازنویسی مشروط و تایپ شده: دومین کارگاه بین المللی CTRS مونترال، کانادا، 11 تا 14 ژوئن، 1990 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سیستم های بازنویسی مشروط و تایپ شده: دومین کارگاه بین المللی CTRS مونترال، کانادا، 11 تا 14 ژوئن، 1990 مجموعه مقالات
در سال‌های اخیر، گسترش تکنیک‌های بازنویسی که فراتر از چارچوب سنتی بازنویسی جبری غیر تایپ‌نشده است، مورد بررسی و توسعه قرار گرفته‌اند. در میان این برنامه‌های افزودنی، سیستم‌های شرطی و تایپ شده از اهمیت ویژه‌ای برخوردار هستند، مانند سیستم‌های مرتبه بالاتر، سیستم‌های بازنویسی نمودار و غیره. . این جلد مجموعه مقالات دومین کارگاه CTRS را ارائه می دهد که به بحث و ارزیابی جهت های جدید تحقیق کمک کرد. (مجموعه مقالات اولین کارگاه CTRS در یادداشت های سخنرانی در علوم کامپیوتر، جلد 308 است.) چندین جهت مهم برای گسترش تکنیک های بازنویسی مورد تاکید قرار گرفت که در سازماندهی فصول این جلد منعکس شده است: - نظریه شرطی و سیستم های بند شاخ، - اصطلاحات بی نهایت، سیستم های غیر پایانی، و پایان، - گسترش تکمیل Knuth-Bendix، - سیستم های ترکیبی، زبان های ترکیبی و مدولار بودن، - معماری، کامپایلرها و محاسبات موازی، - چارچوب های اساسی برای تایپ و مرتب سازی شده سیستم ها، - گسترش تکنیک های یکسان سازی و محدود کردن.
توضیحاتی درمورد کتاب به خارجی
In recent years, extensions of rewriting techniques that go beyond the traditional untyped algebraic rewriting framework have been investigated and developed. Among these extensions, conditional and typed systems are particularly important, as are higher-order systems, graph rewriting systems, etc. The international CTRS (Conditional and Typed Rewriting Systems) workshops are intended to offer a forum for researchers on such extensions of rewriting techniques. This volume presents the proceedings of the second CTRS workshop, which contributed to discussion and evaluation of new directions of research. (The proceedings of the first CTRS workshop are in Lecture Notes in Computer Science, Vol. 308.) Several important directions for extensions of rewriting techniques were stressed, which are reflected in the organization of the chapters in this volume: - Theory of conditional and Horn clause systems, - Infinite terms, non-terminating systems, and termination, - Extension of Knuth-Bendix completion, - Combined systems, combined languages and modularity, - Architecture, compilers and parallel computation, - Basic frameworks for typed and order-sorted systems, - Extension of unification and narrowing techniques.
فهرست مطالب
Conditional rewriting in focus....Pages 1-13
A maximal-literal unit strategy for horn clauses....Pages 14-25
Extended term rewriting systems....Pages 26-50
A proof system for conditional algebraic specifications....Pages 51-63
Conditional rewriting logic: Deduction, models and concurrency....Pages 64-91
Equivalences of rewrite programs....Pages 92-97
On finite representations of infinite sequences of terms....Pages 99-114
Infinite terms and infinite rewritings....Pages 115-126
Testing confluence of nonterminating rewriting systems....Pages 127-136
A survey of ordinal interpretations of type ɛ 0 for termination of rewriting systems....Pages 137-142
Meta-rule synthesis from crossed rewrite systems....Pages 143-154
An application of automated equational reasoning to many-valued logic....Pages 155-161
Completion of first-order clauses with equality by strict superposition....Pages 162-180
Knuth-bendix completion of horn clause programs for restricted linear resolution and paramodulation....Pages 181-193
Proof by consistency in conditional equational theories....Pages 194-205
Completion procedures as semidecision procedures....Pages 206-232
Errata corrige....Pages 232-232
Linear completion....Pages 233-245
Clausal rewriting....Pages 246-258
Adding algebraic rewriting to the calculus of constructions : Strong normalization preserved....Pages 259-271
On sufficient completeness of conditional specifications....Pages 272-286
FPL : Functional plus logic programming an integration of the FP and Prolog languages....Pages 287-294
Confluence of the disjoint union of conditional term rewriting systems....Pages 295-306
Implementing term rewriting by graph reduction: Termination of combined systems....Pages 307-317
Compiling concurrent rewriting onto the Rewrite Rule Machine....Pages 319-332
Design strategies for rewrite rules....Pages 333-341
A simplifier for untyped lambda expressions....Pages 342-353
Parallel graph rewriting on loosely coupled machine architectures....Pages 354-369
Typed equivalence, type assignment, and type containment....Pages 371-382
A fixed-point semantics for feature type systems....Pages 383-388
Unique-sort order-sorted theories : A description as monad morphisms....Pages 389-400
Equational logics (birkhoff's method revisited)....Pages 401-406
Compatibility of order-sorted rewrite rules....Pages 407-416
An universal termination condition for solving goals in equational languages....Pages 417-423
Constrained equational deduction....Pages 424-435
Higher-order unification, polymorphism, and subsorts....Pages 436-447
Second-order unification in the presence of linear shallow algebraic equations....Pages 448-453
An inference system for horn clause logic with equality....Pages 454-461
