31 - 40 out of 53Page size: 10
  1. 2006

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

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

    Research output: Contribution to journal › Article › peer-review

  3. 2005

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

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  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 p.

    Research output: Other contribution › Research

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

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

    Research output: Book/Report/Anthology › Commissioned report

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

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  12. 2002

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

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

    Research output: Contribution to journal › Article › peer-review

  14. 2001

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

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  16. 1999

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

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

    Research output: Book/Report/Anthology › Commissioned report

Previous 1 2 3 4 5 6 Next

ID: 150910