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

Davit A. Grigoryan

Ներբեռնել

Վերնագիր: On Church-Rosser Property of Notion of βδ-Reduction for Canonical Notion of δ-Reduction

Հատոր:

ISSN:

0131-4645

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

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

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

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

Ծածկոյթ:

81-87

Ամփոփում:

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

Հրատարակիչ:

Изд-во НАН РА

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

2018-12-10

Ձեւաչափ:

pdf

Նոյնացուցիչ:

oai:arar.sci.am:258942

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

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

Խորագիր և բանալի բառեր:

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

Նիւթին հաւաքածոները:

Digital Library > Յօդուածներ

Վերջին անգամ ձեւափոխուած է:

Dec 8, 2023

Մեր գրադարանին մէջ է սկսեալ:

Jul 24, 2020

Նիւթին բովանդակութեան հարուածներուն քանակը:

Նիւթին բոլոր հասանելի տարբերակները:

https://arar.sci.am/publication/282079

Ցոյց տուր նկարագրութիւնը RDF ձեւաչափով:

RDF

Ցոյց տուր նկարագրութիւնը OAI-PMH ձեւաչափով։

OAI-PMH

ՀՀ ԳԱԱ Շարունակական հրատարակություններ

Հրատարակութեան անունը	Թուական
On Church-Rosser Property of Notion of βδ-Reduction for Canonical Notion of δ-Reduction	Dec 8, 2023

Նիւթ

Վերնագիր: On Church-Rosser Property of Notion of βδ-Reduction for Canonical Notion of δ-Reduction

Ստեղծողը:

Տեսակ:

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

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