ИСТИНА

• Охват: Международная
• Даты проведения: 26 марта 2019
• Место проведения: Санкт-Петербург, Russia
• Организатор:
  Санкт-Петербургский государственный университет
• Число участников: 40
• Число иностранных участников: 35
• Число участников из МГУ: 1
• Число докладчиков: 35
• Веб-сайт: http://lata2019.irdta.eu/
• Все конференции этой группы
• Описание конференции:

  LATA is a conference series on theoretical computer science and its applications. Topics of either theoretical or applied interest include, but are not limited to: algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata

• Добавил в систему: Захаров Владимир Анатольевич

Доклады:

• 2019 Equivalence checking of prefix-free ransducers and two-tape deterministic automata (Устный)
• Автор: Zakharov V.A.