Խորացված որոնում ?

Օբյեկտ

The basic semantics of untyped functional programs and reduction strategies

Ներբեռնել

Վերնագիր: The basic semantics of untyped functional programs and reduction strategies

Ստեղծողը:

Hrachyan, Gurgen G.

Տեսակ:

Հոդված

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

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

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

2009

Հատոր:

32

ISSN:

0131-4645

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

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

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

Առանց տիպերի ֆունկցիոնալ ծրագրերի հիմնական սեմանտիկան և ռեդուկցիոն ստրատեգիաները

Ծածկույթ:

5-13

Հրատարակիչ:

Изд-во НАН РА

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

2009-03-10

Ձևաչափ:

pdf

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

oai:arar.sci.am:258588

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

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

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

Mathematics Computer software Հրաչյան Գ.

Օբյեկտի հավաքածուներ:

Վերջին անգամ ձևափոխված:

Aug 18, 2025

Մեր գրադարանում է սկսած:

Jul 24, 2020

Օբյեկտի բովանդակության հարվածների քանակ:

8

Օբյեկտի բոլոր հասանելի տարբերակները:

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

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

RDF

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

OAI-PMH

Հրատարակության անուն Ամսաթիվ
The basic semantics of untyped functional programs and reduction strategies Aug 18, 2025

Օբյեկտի տեսակ՝

Նման

On a representation of hyperarithmetical predicates

A. R. Aslyan

Հոդված

On Generalized Primitive Recursive String Functions

Mikayel H. Khachatryan

Հոդված

Solving deconvolution type problems by wavelet decomposition methods

E. P. Serrano M. I. Troparevsky M. A. Fabio Գլխավոր խմբ․՝ Մ․ Մ․ Ջրբաշյան (1966-1994) Ռ․ Վ․ Համբարձումյան (1994-2009) Ա․ Ա․ Սահակյան (2010-)

Հոդված

On Transitive Closures of Two-dimensional Strongly Positive Arithmetical Sets

Seda N. Manukian

Հոդված

Generalized Rational Evaluation Subgroups of the Inclusion between Complex Projective Spaces

Gatsinzi, J.-B. Գլխ. խմբ.՝ Անրի Ներսեսյան Պատ. խմբ.՝ Լինդա Խաչատրյան Խմբ. տեղակալ՝ Ռաֆայել Բարխուդարյան

Weighted integral representations of harmonic functions in the unit disc by means of Mittag-Leffler type kernels

Hayrapetyan, Feliks Գլխ. խմբ.՝ Անրի Ներսեսյան Պատ. խմբ.՝ Լինդա Խաչատրյան Խմբ. տեղակալ՝ Ռաֆայել Բարխուդարյան

Հոդված

Осуществление сопряженной модели трехферментной цепи с тремя ферментами в комплексе с помощью пакета динамического моделирования "Stella"

А. Э. Геворкян Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) Մ․ Մ․ Ջրբաշյան (1960-1965) Ա․ Գ․ Նազարով (1966-1983) Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) Վ․ Ս․ Զաքարյան (2005-2018) Ռ․ Մ․ Մարտիրոսյան (2018-)

Հոդված

Efficient Implementation of Physical Addressing for Testing, Diagnosis and Repair of Embedded SRAMs for Yield Improvement

K. K. Aleksanyan Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) Մ․ Մ․ Ջրբաշյան (1960-1965) Ա․ Գ․ Նազարով (1966-1983) Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) Վ․ Ս․ Զաքարյան (2005-2018) Ռ․ Մ․ Մարտիրոսյան (2018-)

Հոդված
Ավելին

Կապի մանրամասներ

Հասցե

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Մարշալ Բաղրամյան 24/6
Երևան 0019

Հեռախոս

(+374) 10 524750

Էլ․ փոստ

info@flib.sci.am

Այցելեք մեզ։

Այս էջը օգտագործում է 'cookie-ներ'։ Ավելի տեղեկատվություն