ՀՀ ԳԱԱ Զեկույցներ =Reports NAS RA

Browse by Person

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Number of items: 11.

Нигиян, С. А. and Хачоян, Л. О. and Акопян, В. Р. (2004) Оптимизация систем логического программирования посредством преобразований их программ. ՀՀ ԳԱԱ Զեկույցներ, 104 (1). pp. 12-17. ISSN 0321-1339

Нигиян, С. А. (2014) Арифметические функции с неопределенными значениями аргументов. Вычислимость и λ-определимость. ՀՀ ԳԱԱ Զեկույցներ, 114 (1). pp. 7-13. ISSN 0321-1339

Нигиян, С. А. and Хачоян, Л. О. (1996) Интерпретация и преобразование логических программ. Հայաստանի ԳԱԱ Զեկույցներ, 96 (2-4). pp. 32-37. ISSN 0321-1339

Нигиян, С. А. and Нигиян, А. В. (2008) К логической трактовке недетерминированных конечных автоматов. ՀՀ ԳԱԱ Զեկույցներ, 108 (2). pp. 124-132. ISSN 0321-1339

Нигиян, С. А. and Хачоян, Л. О. and Нигиян, А. В. (2007) К логической трактовке процедурного программирования. ՀՀ ԳԱԱ Զեկույցներ, 107 (1). pp. 20-25. ISSN 0321-1339

Нигиян, С. А. and Хачоян, Л. О. (1999) К проблеме ∆-эквивалентности логических программ. Հայաստանի ԳԱԱ Զեկույցներ, 99 (2). pp. 99-103. ISSN 0321-1339

Нигиян, С. А. (1995) Логическая концепция языков програмирования. Հայաստանի ԳԱԱ Զեկույցներ, 95 (1). pp. 26-29. ISSN 0321-1339

Нигиян, С. А. and Аветисян, С. А. (2001) О решениях рекурсивных уравнений с отделяющейся переменной в бестиповом λ-исчислении. ՀՀ ԳԱԱ Զեկույցներ, 101 (1). pp. 12-19. ISSN 0321-1339

Нигиян, С. А. (1985) О функциональной и конечной эквивалентностях схем программ. ՀՍՍՀ ԳԱ Զեկույցներ, 80 (3). pp. 115-116. ISSN 0321-1339

Нигиян, С. А. and Будагян, Л. Э. (1999) Правила вычисления главной функции наименьшего решения для одного класса систем рекурсивных уравнений. Հայաստանի ԳԱԱ Զեկույցներ, 99 (1). pp. 197-203. ISSN 0321-1339

Нигиян, С. А. (1993) Функциональная концепция языков программирования. Հայաստանի ԳԱԱ Զեկույցներ, 94 (3). pp. 131-137. ISSN 0321-1339

This list was generated on Sun Oct 22 17:53:09 2017 AMT.