|
СТ |
Исследования в теории алгебраических моделей программ с процедурами |
2016 |
Подловченко Р. И. |
|
|
|
Программирование |
29.03.2016 |
|
СТ |
Исследование двухпараметрической алгебраической модели программ по методикам, разработанным для однопараметрических моделей |
2014 |
Подловченко Р. И. |
|
|
|
Программирование |
06.08.2014 |
|
СТ |
Об одном классе алгебраических моделей программ, представляю ем практический интерес |
2013 |
Подловченко Р. И. |
|
|
|
Программирование |
09.08.2013 |
|
СТ |
Об одной методике распознавания эквивалентности в алгебраических моделях программ |
2011 |
Подловченко Р. И. |
|
|
|
Программирование |
07.02.2012 |
|
СТ |
Полные системы эквивалентных преобразований в уравновешенных полугрупповых моделях программ с левым сокра ением |
2010 |
Подловченко Р. И. |
|
|
|
Программирование |
29.06.2010 |
|
СТ |
Святослав Сергеевич Лавров в отечественном программировании |
2009 |
Подловченко Р. И. |
|
|
|
PSI 09, семинар "История информатики в Сибири" |
21.07.2009 |
|
СТ |
О проблеме минимизации для схем программ с перестановочными блоками |
2008 |
Подловченко Р. И. |
|
|
|
Программирование |
03.10.2008 |
|
СТ |
Проблема включения в алгебраической модели программ с константами |
2007 |
Подловченко Р. И., Русаков Д. М. |
|
|
|
Программирование |
25.09.2007 |
|
СТ |
Автоматно-полугрупповые модели программ |
2006 |
Подловченко Р. И. |
|
|
|
Программирование |
11.01.2007 |
|
СТ |
Схемы программ с константами |
2005 |
Подловченко Р. И., Русаков Д. М. |
|
|
|
Программирование |
30.07.2005 |
|
СТ |
Об одном подходе к разрешению проблемы эквивалентности |
2004 |
Подловченко Р. И., Хачатрян В. Е. |
|
|
|
Программирование |
20.08.2004 |
|
СТ |
О схемах программ с перестановочными и монотонными операторами |
2003 |
Подловченко Р. И. |
|
|
|
Программирование |
29.11.2003 |
|
СТ |
Эквивалентные преобразования схем программ для "запутывания" самих программ |
2002 |
Подловченко Р. И. |
|
|
|
Программирование |
18.05.2002 |
|
СТ |
Полная система эквивалентных преобразований для двухленточных автоматов с непересекаю имися циклами |
2000 |
Подловченко Р. И., Хачатрян В. Е., Чашин Ю. Г. |
|
|
|
Программирование |
14.11.2000 |
|
СТ |
Об одном массовом решении проблемы эквивалентных преобразований схем программ. II |
2000 |
Подловченко Р. И. |
|
|
|
Программирование |
22.04.2000 |
|
СТ |
Об одном массовом решении проблемы эквивалентных преобразований схем программ. I |
2000 |
Подловченко Р. И. |
|
|
|
Программирование |
30.03.2000 |
|
СТ |
Система преобразований, полная в классе схем программ с перестановочными операторами |
1998 |
Подловченко Р. И. |
|
|
|
Программирование |
01.05.1998 |
|
СТ |
Алгоритм канонизации пар схем программ с перестановочными операторами |
1997 |
Подловченко Р. И. |
|
|
|
Программирование |
07.01.1998 |
|
СТ |
Канонические формы схем и их построение в специальных автоматных моделях рекурсивных программ |
1996 |
Подловченко Р. И. |
|
|
|
Программирование |
21.11.1996 |
|
СТ |
О построении полных систем эквивалентных преобразований схем программ |
1996 |
Подловченко Р. И., Айрапетян М. Г. |
|
|
|
Программирование |
10.02.1996 |
|
СТ |
Трансформация схем рекурсивных программ в эквивалентные им свободные |
1994 |
Подловченко Р. И. |
|
|
|
Программирование |
24.01.1995 |
|
СТ |
Регулярные модели прогамм |
1993 |
Подловченко Р. И., Аланакян Н. А. |
|
|
|
Программирование |
24.12.1993 |
|
СТ |
Разрешимость эквивалентности в множестве схем программ с монотонными и частично перестановочными операторами |
1990 |
Подловченко Р. И. |
|
|
|
Программирование |
12.04.1991 |
|
А |
Моделирование программ схемами и построение полных систем преобразований схем |
1985 |
Подловченко Р. И. |
|
|
|
|
26.09.1985 |
