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

  2. Reversibility of computations in graph-walking automata

    Kunc, M. & Okhotin, A., дек 2020, в: Information and Computation. 275, 104631.

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

  3. Extensions of unification modulo ACUI

    Baader, F., Marantidis, P., Mottet, A. & Okhotin, A., 1 июн 2020, в: Mathematical Structures in Computer Science. 30, 6, стр. 597-626 30 стр.

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

  4. On the transformation of ll(k)-linear grammars to ll(1)-linear

    Okhotin, A. & Olkhovsky, I., 1 июн 2020, Computer Science – Theory and Applications - 15th International Computer Science Symposium in Russia, CSR 2020, Proceedings. Fernau, H. (ред.). Springer Nature, стр. 328-340 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12159 LNCS).

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

  5. Cyclic shift on multi-component grammars

    Okhotin, A. & Sorokin, A., 1 янв 2020, Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (ред.). Springer Nature, стр. 287-299 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12038 LNCS).

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

  6. Longer Shortest Strings in Two-Way Finite Automata

    Крымский, С. Т. & Okhotin, A., 2020, Descriptional Complexity of Formal Systems - 22nd International Conference, 2020, Proceedings. Jirásková, G. & Pighizzini, G. (ред.). Springer Nature, стр. 104-116 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12442 LNCS).

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

  7. State Complexity of GF(2)-inverse and GF(2)-star on Binary Languages

    Okhotin, A. & Sazhneva, E., 2020, Descriptional Complexity of Formal Systems - 22nd International Conference, 2020, Proceedings. Jirásková, G. & Pighizzini, G. (ред.). Springer Nature, стр. 142-154 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12442 LNCS).

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

  8. 2019

  9. Further closure properties of input-driven pushdown automata

    Okhotin, A. & Salomaa, K., 17 дек 2019, в: Theoretical Computer Science. 798, стр. 65-77 13 стр.

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

  10. State complexity of unambiguous operations on finite automata

    Jirásková, G. & Okhotin, A., 17 дек 2019, в: Theoretical Computer Science. 798, стр. 52-64 13 стр.

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

  11. State Complexity of the Quotient Operation on Input-Driven Pushdown Automata

    Okhotin, A. & Salomaa, K., 1 сен 2019, в: International Journal of Foundations of Computer Science. 30, 6-7, стр. 1217-1235 19 стр.

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

  12. Edit distance neighbourhoods of input-driven pushdown automata

    Okhotin, A. & Salomaa, K., 19 июл 2019, в: Theoretical Computer Science. 777, стр. 417-430 14 стр.

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

Назад 1 2 3 4 5 6 7 8 ...19 Далее

ID: 195867