Ամսագրի կամ հրապարակման վերնագիր:
Հրապարակման ամսաթիվ:
Հատոր:
ISSN:
Լրացուցիչ տեղեկություն:
սեղմիր այստեղ կապին հետևելու համար
Վերնագիր:
On Church-Rosser Property of Notion of βδ-Reduction for Canonical Notion of δ-Reduction
Այլ վերնագիր:
Ստեղծողը:
Խորագիր:
Mathematics ; Science ; Algebra
Չվերահսկվող բանալի բառեր:
Գրիգորյան Դ. ; Григорян Д. ; canonical notion of δ-reduction ; Church-Rosser property ; βδ-reduction
Ծածկույթ:
Ամփոփում:
Աշխատանքում դիտարկվում է կանոնիկ δ-ռեդուկցիայի գաղափարը տիպիզացված Դ-թերմերի համար: В данной работе рассматривается основное каноническое понятие δ-редукции для типизированных ٨-термов.