توسعه روش sl با ترتیب kbo برای اثبات خودکار پایان پذیری سیستم بازنویسی ترم - مقاله برگزیده هفدهمین کنفرانس ملی انجمن کامپیوتر ایران

محمد کدخدا; mohammad kadkhoda سعید جلیلی; saeed jalili دانشگاه تربیت مدرس محمد ایزدی; mohammad izadi دانشگاه صنعتی شریف

Article

توسعه روش sl با ترتیب kbo برای اثبات خودکار پایان پذیری سیستم بازنویسی ترم - مقاله برگزیده هفدهمین کنفرانس ملی انجمن کامپیوتر ایران

محمد کدخدا، mohammad kadkhoda سعید جلیلی، saeed jalili دانشگاه تربیت مدرس محمد ایزدی، mohammad izadi دانشگاه صنعتی شریف

Download full textFree with an account; signing up with Google takes seconds

Abstract(in Persian; no English abstract is available)

سی ترم

Download full text

From the journal's site

Journal: محاسبات نرم

Save to library

Cite

محمد کدخدا, mohammad kadkhoda سعید جلیلی, saeed jalili دانشگاه تربیت مدرس محمد ایزدی, mohammad izadi دانشگاه صنعتی شریف (n.d.). توسعه روش sl با ترتیب kbo برای اثبات خودکار پایان پذیری سیستم بازنویسی ترم - مقاله برگزیده هفدهمین کنفرانس ملی انجمن کامپیوتر ایران. محاسبات نرم. https://www.virascience.com/paper/توسعه-روش-sl-با-ترتیب-kbo-برای-اثبات-خودکار-پایانپذیری-سیستم-بازنویسی-ترم-مقاله-برگزیده-هفدهمین-کنفرانس-ملی-انجمن-کامپیوتر-ایران/

@article{کدخداnd,
  title = {توسعه روش sl با ترتیب kbo برای اثبات خودکار پایان پذیری سیستم بازنویسی ترم - مقاله برگزیده هفدهمین کنفرانس ملی انجمن کامپیوتر ایران},
  author = {محمد کدخدا and mohammad kadkhoda سعید جلیلی and saeed jalili دانشگاه تربیت مدرس محمد ایزدی and mohammad izadi دانشگاه صنعتی شریف},
  journal = {محاسبات نرم},
  url = {https://www.virascience.com/paper/توسعه-روش-sl-با-ترتیب-kbo-برای-اثبات-خودکار-پایانپذیری-سیستم-بازنویسی-ترم-مقاله-برگزیده-هفدهمین-کنفرانس-ملی-انجمن-کامپیوتر-ایران/}
}

TY  - JOUR
TI  - توسعه روش sl با ترتیب kbo برای اثبات خودکار پایان پذیری سیستم بازنویسی ترم - مقاله برگزیده هفدهمین کنفرانس ملی انجمن کامپیوتر ایران
AU  - محمد کدخدا
AU  - mohammad kadkhoda سعید جلیلی
AU  - saeed jalili دانشگاه تربیت مدرس محمد ایزدی
AU  - mohammad izadi دانشگاه صنعتی شریف
JO  - محاسبات نرم
UR  - https://www.virascience.com/paper/توسعه-روش-sl-با-ترتیب-kbo-برای-اثبات-خودکار-پایانپذیری-سیستم-بازنویسی-ترم-مقاله-برگزیده-هفدهمین-کنفرانس-ملی-انجمن-کامپیوتر-ایران/
ER  -

[
  {
    "id": "article:167157",
    "type": "article-journal",
    "title": "توسعه روش sl با ترتیب kbo برای اثبات خودکار پایان پذیری سیستم بازنویسی ترم - مقاله برگزیده هفدهمین کنفرانس ملی انجمن کامپیوتر ایران",
    "author": [
      {
        "literal": "محمد کدخدا"
      },
      {
        "literal": "mohammad kadkhoda سعید جلیلی"
      },
      {
        "literal": "saeed jalili دانشگاه تربیت مدرس محمد ایزدی"
      },
      {
        "literal": "mohammad izadi دانشگاه صنعتی شریف"
      }
    ],
    "URL": "https://www.virascience.com/paper/توسعه-روش-sl-با-ترتیب-kbo-برای-اثبات-خودکار-پایانپذیری-سیستم-بازنویسی-ترم-مقاله-برگزیده-هفدهمین-کنفرانس-ملی-انجمن-کامپیوتر-ایران/",
    "language": "fa",
    "container-title": "محاسبات نرم"
  }
]

BibTeX · RIS · CSL-JSON

Keywords

Similar items

توسعه روش SL با ترتیب KBO برای اثبات خودکار پایان‌پذیری سیستم بازنویسی ترم - مقاله برگزیده هفدهمین کنفرانس ملی انجمن کامپیوتر ایران
Article2021محاسبات نرممحمد کدخدا، سعید جلیلی، محمد ایزدی
سی ترم
مدل اجرایی روش برچسب گذاری معنایی برای اثبات خودکار پایان پذیری در سیستم های بازنویسی ترم
Thesis2011وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرسمحمد کدخدا
سیستم بازنویسی ترم (trs) یک مدل محاسباتی است که به دلیل قابلیت های خوبی که دارد در تحلیل زبان های تابعی از آن استفاده می شود. یک سیستم بازنویسی ? رابطه ای روی ترم های منطقی مرتبه اول است، بطوریکه برای هر ?? (l, r) شرایط ، l??? و ??ar(l) ? ??ar(r) برقرار باشد. مجموعه ??ar(t)شامل م

توسعه روش sl با ترتیب kbo برای اثبات خودکار پایان پذیری سیستم بازنویسی ترم - مقاله برگزیده هفدهمین کنفرانس ملی انجمن کامپیوتر ایران

Abstract(in Persian; no English abstract is available)

Similar items

توسعه روش SL با ترتیب KBO برای اثبات خودکار پایان‌پذیری سیستم بازنویسی ترم - مقاله برگزیده هفدهمین کنفرانس ملی انجمن کامپیوتر ایران

مدل اجرایی روش برچسب گذاری معنایی برای اثبات خودکار پایان پذیری در سیستم های بازنویسی ترم