31 - 40 из 53Размер страницы: 10
Сортировать по:: Год публикации
  1. 2006

  2. Применение синтаксически ориентированного управления обработкой данных в логических системах

    Федорченко, Л. Н., 2006, в: Труды СПИИРАН: SPIIRAS Proceedings. 2, 3, стр. 162–168

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  3. 2005

  4. О регуляризации контекстно-свободных грамматик

    Федорченко, Л. Н., 2005, IX Санкт-Петербургской международной конференции “Региональная Информатика-2004”. Труды конференции.. стр. 89-95

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции

  5. 2004

  6. SYNTAX GRAPH TRANSFORMATIONS IN THE SYSTEM SYNGT AND REGULARIZATION OF GRAMMARS

    Fedorchenko, L. & Naumov, I., 2004, Proceedings of International Multi-Conference on Advanced Computer Systems (ACS-CISIM 2004), 14-16 June, Elk, Poland (Kluwer). Wolters Kluwer

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции

  7. SYNTAX GRAPH TRANSFORMATIONS IN THE SYSTEM SYNGT AND THEIR NEW APPLICATIONS

    Fedorchenko, L. N. & Naumov, I. V., 2004, Proceedings of 10-th Multi-conference on Advanced Computer Systems (ACS-AIBITS 2003), October 22-24,2003, Poland. Wolters Kluwer

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции

  8. 2003

  9. Syntax Graph Transformations in the System SynGT and their Applications: Rapport IRIT/2003-06-R, UMR 5505 CNRS-INP-UPS

    Fedorchenko, L. N., Naumov, I. N., Soloviev, S. V. & Mehats, L., 2003, 15 стр.

    Результаты исследований: Иные виды публикаций › иная › научная

  10. Заключительный отчёт по проекту № 01-05 с INRIA:– «Теория типов в компьютерной алгебре (TypCA)»

    Баранов, С. Н., Соловьев, С. В., Федорченко, Л. Н. & Флегонтов, А., 2003, Издательство Московского университета.

    Результаты исследований: Книги, отчёты, сборники › отчёт/доклад

  11. Теория типов, компьютерная алгебра и поддержка доказательств

    Федорченко, Л. Н., Флегонтов, А. В. & Соловьев, С. В., 2003, VIII Санкт-Петербургская международная конференция «Региональная информатика-2002» (РИ-2002). Труды конференции.. Санкт-Петербургское Общество информатики, вычислительной техники, систем связи и управления, стр. 108-117

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции

  12. 2002

  13. ИЗВЛЕЧЕНИЕ КРАЙНЕЙ РЕКУРСИИ ИЗ КСР-ГРАММАТИКИ В СИСТЕМЕ SYNGT

    Федорченко, Л. Н., 2002, в: Труды СПИИРАН: SPIIRAS Proceedings. 1, 1, стр. 360-369

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  14. 2001

  15. Извлечение крайней рекурсии из правил контекстно-свободной грамматики в регулярной форме

    Федорченко, Л. Н., 2001, Труды VII Санкт-Петербургской международной конференции «Региональная информатика-2000 (РИ–2000)». Санкт-Петербургское Общество информатики, вычислительной техники, систем связи и управления, стр. 243–258

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции

  16. 1999

  17. OCC-открытый компилятор языка Си для цифровых сигнальных процессоров. Раздел –“Усовершенствованный алгоритм экранного размещения синтаксической граф-схемы в системе SynGT версия 3.1”

    Баранов, С. Н., Федорченко, Л. Н., Наумов, И. В. & Авторов, Д. В. ., 1999, Издательство Московского университета.

    Результаты исследований: Книги, отчёты, сборники › отчёт/доклад

Назад 1 2 3 4 5 6 Далее

ID: 150910