محبوبترین نویسندگان :
نویسندگان مقالات پربازدید :
مجله استدلال خودکار 2013
جزئیات رویداد
اینستاگرام تی پی بین
همایش ، رویداد ، ژورنال

  • e-unification with constants vs. general e-unification

    نویسندگان :
    کلمات کلیدی :
    جزئیات بیشتر مقاله
    • تاریخ ارائه: 1392/07/24
    • تاریخ انتشار در تی پی بین: 1392/07/24
    • تعداد بازدید: 881
    • تعداد پرسش و پاسخ ها: 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.

سوال خود را در مورد این مقاله مطرح نمایید :

با انتخاب دکمه ثبت پرسش، موافقت خود را با قوانین انتشار محتوا در وبسایت تی پی بین اعلام می کنم
مقالات جدیدترین رویدادها
مقالات جدیدترین ژورنال ها