-
e-unification with constants vs. general e-unification
جزئیات بیشتر مقاله- تاریخ ارائه: 1392/07/24
- تاریخ انتشار در تی پی بین: 1392/07/24
- تعداد بازدید: 758
- تعداد پرسش و پاسخ ها: 0
- شماره تماس دبیرخانه رویداد: -
we present a solution to problem #66 from the rta open problem list. the question is whether there exists an equational theory e such that e-unification with constants is decidable but general e-unification is undecidable. the answer is positive and we show such a theory. the problem has several equivalent formulations, therefore the solution has many consequences. our result also shows, that there exist two theories e 1 and e 2 over disjoint signatures, such that e 1-unification with constants and e 2-unification with constants are decidable, but (e 1 ∪ e 2)-unification with constants is undecidable.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
تامین مالی و جذب سرمایه پروژه های مادر کشور در شرایط تحریم (با نگاهی ویژه به صنایع نفتی)
-
مقایسه بوژیناژ پیلور به وسیله انگشت با پیلورومیوتومی یا پیلوروپلاستی در اعمال جراحی جایگزین معده به دنبال ازوفاژکتومی
-
توسعه ناپایدار و عوامل موثر
-
اتصالات پیچی مقاطع سازه های فولادی سرد نورد شده و مطالعه اتصالات اتکایی و اصطکاکی آن ها تحت بارگیری چرخه ای
-
مقایسه میزان سرسختی روان شناختی در آتش نشانان فعال و غیر فعال ورزشی شهرستان نیشابور
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
بررسی تاثیر فشارهای اجتماعی، تعهد و ویژگی های شخصیتی بر قضاوت حسابرسان
-
بررسی قاچاق اعضای بدن انسان در نظام حقوقی ایران و اسناد بین المللی
-
بررسی رابطه بین واقعیت درمانی گروهی بر میزان تغییر راهبردهای مقابله ای در زنان دارای فرزند معلول
-
بررسی رابطه بین دوره زمانی تشکیل کمیته حسابرسی و حسابرسی داخلی با خطای پیش بینی جریان های نقدی آتی با در نظر گرفتن ریسک پذیری شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
رویکرد قانون مجازات اسلامی نسبت به پیشگیری از جرم در جرائم اطفال و نوجوانان
سوال خود را در مورد این مقاله مطرح نمایید :