عنوان مقاله: توسعه روش SL با ترتیب KBO برای اثبات خودکار پایان پذیری سیستم بازنویسی ترم - مقاله برگزیده هفدهمین کنفرانس ملی انجمن کامپیوتر ایران
شناسه ملی مقاله: JR_SCJKA-1-2_002
منتشر شده در در سال 1391