Електронний каталог науково-технічної бібліотеки Вінницького національного технічного університету
язык L
Документи:
- Крывый, С. Л. Проверка непротиворечивости формул языка L, представленных в дизъюнктивной нормальной форме. I [Текст] / С. Л. Крывый, А. Н. Чеботарев // Кибернетика и системный анализ. – 2005. – № 4. – 22-28.
- Крывый, С. Л. Проверка непротиворечивости формул языка L, представленных в дизъюнктивной нормальной форме. II [Текст] / С. Л. Крывый, А. Н. Чеботарев // Кибернетика и системный анализ. – 2005. – № 6. – 11-18.
- Тимофеев, В. Г. Усовершенствованный метод синтеза автомата по его спецификации в языке L [Текст] / В. Г. Тимофеев, А. Н. Чеботарев // Кибернетика и системный анализ. – 2011. – Т. 47, № 3. – С. 3-14.
- Чеботарев, А. Н. Композиционный подход к проектированию реактивных алгоритмов [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. – 2013. – Т. 49, № 5. – С. 14-27.
- Чеботарев, А. Н. Согласование спецификаций автоматов, представленных в языке L [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. – 2016. – Т. 52, № 3. – С. 3-15.
|