51 - 60 из 182Размер страницы: 10
Сортировать по:: Год публикации
  1. 2018

  2. Formal Languages over GF(2)

    Bakinova, E., Basharin, A., Batmanov, I., Lyubort, K., Okhotin, A. & Sazhneva, E., 1 янв 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings. Springer Nature, стр. 68-79 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10792 LNCS).

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

  3. Further closure properties of input-driven pushdown automata

    Okhotin, A. & Salomaa, K., 1 янв 2018, Descriptional Complexity of Formal Systems - 20th IFIP WG 1.02 International Conference, DCFS 2018, Proceedings. Springer Nature, стр. 224-236 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10952 LNCS).

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

  4. On the number of nonterminal symbols in unambiguous conjunctive grammars

    Jez, A. & Okhotin, A., 1 янв 2018, в: Fundamenta Informaticae. 162, 1, стр. 43-72 30 стр.

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

  5. State complexity of unambiguous operations on deterministic finite automata

    Jirásková, G. & Okhotin, A., 1 янв 2018, Descriptional Complexity of Formal Systems - 20th IFIP WG 1.02 International Conference, DCFS 2018, Proceedings. Springer Nature, стр. 188-199 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10952 LNCS).

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

  6. Towards Exact State Complexity Bounds for Input-Driven Pushdown Automata

    Jirásková, G. & Okhotin, A., 1 янв 2018, Developments in Language Theory - 22nd International Conference, DLT 2018, Proceedings. Hoshi, M. & Seki, S. (ред.). Springer Nature, стр. 441-452 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11088 LNCS).

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

  7. Underlying Principles and Recurring Ideas of Formal Grammars

    Okhotin, A., 1 янв 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings. Springer Nature, стр. 36-59 24 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10792 LNCS).

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

  8. 2017

  9. Generalized LR Parsing Algorithm for Grammars with One-Sided Contexts

    Barash, M. & Okhotin, A., 1 авг 2017, в: Theory of Computing Systems. 61, 2, стр. 581-605 25 стр.

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

  10. On the state complexity of operations on two-way finite automata

    Jirásková, G. & Okhotin, A., 1 апр 2017, в: Information and Computation. 253, 1, стр. 36-63 28 стр.

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

  11. Conjunctive categorial grammars

    Kuznetsov, S. & Okhotin, A., 2017, Proceedings of the 15th Meeting on the Mathematics of Language: MOL 2017, London, UK, July 13-14, 2017. Kanazawa, M., de Groote, P. & Sadrzadeh, M. (ред.). Association for Computational Linguistics

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

  12. Edit distance neighbourhoods of input-driven pushdown automata

    Okhotin, A. & Salomaa, K., 2017, Computer Science – Theory and Applications: International Computer Science Symposium in Russia. стр. 260-272 (Lecture Notes in Computer Science; том 10304).

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

Назад 12 3 4 5 6 7 8 9 ...19 Далее

ID: 195867