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

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

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearch

  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 proceedingConference contributionResearch

  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 proceedingConference contributionResearch

  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 contributionResearch

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

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

    Research output: Book/Report/AnthologyCommissioned reportResearch

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearch

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

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

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearch

  16. 1999

ID: 150910