Հրապարակման մանրամասներ:
"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ:
Ամսագրի կամ հրապարակման վերնագիր:
ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA
Հրապարակման ամսաթիւ:
Հատոր:
Համար:
ISSN:
Պաշտոնական URL:
Լրացուցիչ տեղեկութիւն:
Վերնագիր:
О представлении бестиповых λ-термов помеченными бинарными деревьями
Այլ վերնագիր:
Ստեղծողը:
Աջակից(ներ):
Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)
Խորագիր:
Չվերահսկուող բանալի բառեր:
Ավետիսյան Ս. Ա. ; Avetisyan S. A.
Ծածկոյթ:
Ամփոփում:
Նկարագրված է առանց տիպերի λ-տերմերի ներկայացման եղանակը նշած բինար ծառերի միջոցով: Այս ծառերի տերևները նշած են փոփոխականներով, իսկ ներքին գագաթները աբստրակցիայի և ապլիկացիայի գործողությունների սիմվոլներով: Առաջարկված են ծառերի ձևափոխության ալգորիթմներ, որոնք համապատասխանում են միաքայլ β-ռեդուկցիային և տեղադրմանը:
Հրատարակութեան վայրը:
Երևան
Հրատարակիչ:
Ստեղծման ամսաթիւը:
Տեսակ:
Ձեւաչափ:
Դասիչ:
Թուայնացում:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան