|
П |
Об алгоритме доказательства свойств абстрактных типов данных |
1987 |
Кучеров Г. А. |
|
|
ВЦ СО АН СССР |
|
22.09.1995 |
|
О |
Система программирования Атлант (технический проект). Часть 1 |
1987 |
Замулин А. В., Копляров А. С., Коситов В. А., Кучеров Г. А., Людвина Н. А., Рыжков В. Д. |
|
- Котов В. Е.
|
ВЦ СО АН СССР |
|
01.04.1993 |
|
О |
Система программирования Атлант (техническкий проект). Часть 2 |
1987 |
Замулин А. В., Копляров А. С., Коситов В. А., Кучеров Г. А., Людвина Н. А., Рыжков В. Д. |
|
- Котов В. Е.
|
ВЦ СО АН СССР |
|
01.04.1993 |
|
О |
Система программирования Атлант (технический проект). Часть 3 |
1987 |
Замулин А. В., Копляров А. С., Коситов В. А., Кучеров Г. А., Людвина Н. А., Рыжков В. Д. |
|
- Котов В. Е.
|
ВЦ СО АН СССР |
|
01.04.1993 |
|
Д |
Спецификация абстрактных типов данных с помо ью систем подстановок термов |
1988 |
Кучеров Г. А. |
|
|
|
|
25.03.1993 |
|
СТ |
О взаимодействиях систем переписывания термов и регулярных языков деревьев |
1990 |
Кучеров Г. А. |
|
|
|
Теоретические проблемы обработки информации |
05.03.1992 |
|
П |
Организация системы программирования баз данных АТЛАНТ-СМ |
1989 |
Замулин А. В., Коситов В. А., Кучеров Г. А., Пак Е. В., Рыжков В. Д. |
|
|
ВЦ СО АН СССР |
22175 |
01.03.1989 |
|
А |
Спецификация абстрактных типов данных с помощью систем подстановок термов |
1988 |
Кучеров Г. А. |
|
|
|
|
04.02.1988 |
|
П |
Системы подстановки термов |
1985 |
Кучеров Г. А. |
|
|
ВЦ СО АН СССР |
22190 |
29.01.1986 |
|
П |
Алгоритм распознавания достаточной полноты алгебраической спецификации абстрактного типа данных |
1983 |
Кучеров Г. А. |
|
|
ВЦ СО АН СССР |
22189 |
29.03.1984 |
