Ցույց տուր կառուցվածքը

Ամսագրի կամ հրապարակման վերնագիր:

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science

Հրապարակման ամսաթիվ:

2018

Հատոր:

50

ISSN:

0131-4645

Լրացուցիչ տեղեկություն:

սեղմիր այստեղ կապին հետևելու համար

Վերնագիր:

On Church-Rosser Property of Notion of βδ-Reduction for Canonical Notion of δ-Reduction

Այլ վերնագիր:

Կանոնիկ δ-ռեդուկցիայի գաղափարի դեպքում βδ-ռեդուկցիայի գաղափարի Չորչ-Ռոսսերի հատկության մասին; О свойстве Черча-Россера понятия βδ-редукции в случае каноническом понятии δ-редукции

Ստեղծողը:

Davit A. Grigoryan

Խորագիր:

Mathematics ; Science ; Algebra

Չվերահսկվող բանալի բառեր:

Գրիգորյան Դ. ; Григорян Д. ; canonical notion of δ-reduction ; Church-Rosser property ; βδ-reduction

Ծածկույթ:

81-87

Ամփոփում:

Աշխատանքում դիտարկվում է կանոնիկ δ-ռեդուկցիայի գաղափարը տիպիզացված Դ-թերմերի համար: В данной работе рассматривается основное каноническое понятие δ-редукции для типизированных ٨-термов.

Հրատարակիչ:

Изд-во НАН РА

Ստեղծման ամսաթիվը:

2018-12-10

Տեսակ:

Հոդված

Ձևաչափ:

pdf

Բնօրինակի գտնվելու վայրը:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան