-
proof pearl: a formal proof of higman’s lemma in acl2
جزئیات بیشتر مقاله- تاریخ ارائه: 1392/07/24
- تاریخ انتشار در تی پی بین: 1392/07/24
- تعداد بازدید: 667
- تعداد پرسش و پاسخ ها: 0
- شماره تماس دبیرخانه رویداد: -
higman’s lemma is an important result in infinitary combinatorics, which has been formalized in several theorem provers. in this paper we present a formalization and proof of higman’s lemma in the acl2 theorem prover. our formalization is based on a proof by murthy and russell, where the key termination argument is justified by the multiset relation induced by a well-founded relation. to our knowledge, this is the first mechanization of this proof.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
بررسی غلظت سیانید در مجاورت دو سد باطله کارخانه طلای موته
-
تبیین راهکارهای تربیت اجتماعی در نامه ی 31 نهج البلاغه
-
بررسی فضای سبز عمومی مجتمع های مسکونی بربهبود زندگی اجتماعی کاربران آن: نمونه موردی: (مجتمع مسکونی مهر دگایران سنندج)
-
میزان استرس کارکنان اتاق عمل بیمارستان های وابسته به دانشگاه علوم پزشکی گرگان و رابطه آن با برخی از عوامل مرتبط
-
بررسی تاثیرات sub-mic سیپروفلوکساسین بر روی باکتری شیگلا دیسانتری
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
نقش آگاهی و بکارگیری تکنیک حسابداری مدیریت در استراتژی تصمیم گیری مدیران شرکت ها
-
بررسی استراتژی های بازاریابی بین دو کسب وکار درشرایط بحران همه گیری بیماری covid 19
-
بررسی تأثیر ساختار مالکیت بر رابطه بین دارایی های نامشهود و حق الزحمه حسابرس در شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
تاثیرات حب دنیا بر رفتار فردی از دیدگاه نهج البلاغه
-
بررسی کلامی و تطبیقی هبوط حضرت آدم(علیه السلام) در دو تفسیر الجوهر الثمین و تیسیر الکریم الرحمن
سوال خود را در مورد این مقاله مطرح نمایید :