1. 2012
  2. Language equations with symmetric difference

    Okhotin, A., 28 мая 2012, в: Fundamenta Informaticae. 116, 1-4, стр. 205-222 18 стр.

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

  3. Solving language equations and disequations with applications to disunification in description logics and monadic set constraints

    Baader, F. & Okhotin, A., 21 мар 2012, Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Proceedings. стр. 107-121 15 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7180 LNCS).

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

  4. Defining contexts in context-free grammars

    Barash, M. & Okhotin, A., 12 мар 2012, Language and Automata Theory and Applications - 6th International Conference, LATA 2012, Proceedings. стр. 106-118 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7183 LNCS).

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

  5. On the expressive power of univariate equations over sets of natural numbers

    Okhotin, A. & Rondogiannis, P., 1 мар 2012, в: Information and Computation. 212, стр. 1-14 14 стр.

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

  6. Unambiguous finite automata over a unary alphabet

    Okhotin, A., 1 мар 2012, в: Information and Computation. 212, стр. 15-36 22 стр.

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

  7. Language equations with complementation: Expressive power

    Okhotin, A. & Yakimova, O., 27 янв 2012, в: Theoretical Computer Science. 416, стр. 71-86 16 стр.

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

  8. Homomorphisms preserving deterministic context-free languages

    Lehtinen, T. & Okhotin, A., 2012, Developments in Language Theory - 16th International Conference, DLT 2012, Proceedings. стр. 154-165 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7410 LNCS).

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

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

    Jez, A. & Okhotin, A., 2012, Descriptional Complexity of Formal Systems - 14th International Workshop, DCFS 2012, Proceedings. стр. 183-195 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7386 LNCS).

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

  10. 2011
  11. State complexity of union and intersection for two-way nondeterministic finite automata

    Kunc, M. & Okhotin, A., 20 сен 2011, в: Fundamenta Informaticae. 110, 1-4, стр. 231-239 9 стр.

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

  12. On the state complexity of star of union and star of intersection

    Jirásková, G. & Okhotin, A., 16 сен 2011, в: Fundamenta Informaticae. 109, 2, стр. 161-178 18 стр.

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

ID: 195867