دانلود کتاب Computer Science Logic: 7th Workshop, CSL ’93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

ترجمه فارسی توضیحات (ترجمه ماشینی)

منطق علوم کامپیوتر: هفتمین کارگاه، CSL ’93 سوانسی، بریتانیا 13 تا 17 سپتامبر 1993 مقالات منتخب

این جلد شامل نسخه های نهایی مجموعه مقالات ارائه شده در کنفرانس سالانه انجمن اروپایی منطق علوم کامپیوتر، CSL ’93، که در سوانسی، انگلستان در سپتامبر 1993 برگزار شد، است.
21 مقاله کامل ارائه شده بود. از مجموع 62 مورد ارسالی انتخاب شده و اساساً به کل حوزه تحقیقات منطقی علوم رایانه کمک می کند. آنها به موضوعاتی مانند محدودیت‌های مجموعه، محاسبات لامبدا، جبرهای فرآیند، معناشناسی برنامه، منطق‌های شهودی، منطق نقطه ثابت، مسئله هم ارزی، بندهای شاخ، کمی‌کننده‌ها و دگرگونی‌های اثبات اختصاص داده شده‌اند.

Computer Science Logic: 7th Workshop, CSL ’93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL ’93, held at Swansea, UK in September 1993.
The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.