|
|
توسعه روش Sl با ترتیب Kbo برای اثبات خودکار پایان پذیری سیستم بازنویسی ترم
|
|
|
|
|
نویسنده
|
کدخدا محمد ,جلیلی سعید ,ایزدی محمد
|
منبع
|
محاسبات نرم - 1391 - دوره : 1 - شماره : 2 - صفحه:14 -25
|
|
|
|
|
کلیدواژه
|
اثبات پایان پذیری ,برچسب گذاری معنایی ,ترتیب کنت-بندیکس ,سیستم بازنویسی ترم
|
آدرس
|
دانشگاه تربیت مدرس, دانشکده علوم ریاضی, ایران. دانشگاه تربیت مدرس, جهاد دانشگاهی, گروه پژوهشی ریاضی و انفورماتیک, ایران, دانشگاه تربیت مدرس, دانشکده برق و کامپیوتر, ایران, دانشگاه صنعتی شریف, دانشکده مهندسی کامپیوتر, ایران
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|