1. 2013
  2. Unambiguous conjunctive grammars over a one-letter alphabet

    Jez, A. & Okhotin, A., 19 сен 2013, Developments in Language Theory - 17th International Conference, DLT 2013, Proceedings. стр. 277-288 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7907 LNCS).

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

  3. Conjunctive and boolean grammars: The true general case of the context-free grammars

    Okhotin, A., 1 авг 2013, в: Computer Science Review. 9, стр. 27-59 33 стр.

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

  4. Improved normal form for grammars with one-sided contexts

    Okhotin, A., 2013, Descriptional Complexity of Formal Systems - 15th International Workshop, DCFS 2013, Proceedings. стр. 205-216 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 8031 LNCS).

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

  5. 2012
  6. Parsing Boolean grammars over a one-letter alphabet using online convolution

    Okhotin, A. & Reitwießner, C., 26 окт 2012, в: Theoretical Computer Science. 457, стр. 149-157 9 стр.

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

  7. Descriptional complexity of input-driven pushdown automata

    Okhotin, A., Piao, X. & Salomaa, K., 8 окт 2012, Languages Alive: Essays Dedicated to Jurgen Dassow on the Occasion of His 65th Birthday. Bordihn, H., Kutrib, M. & Truthe, B. (ред.). стр. 186-206 21 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7300 LNAI).

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

  8. State complexity of operations on two-way finite automata over a unary alphabet

    Kunc, M. & Okhotin, A., 31 авг 2012, в: Theoretical Computer Science. 449, стр. 106-118 13 стр.

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

  9. Non-erasing variants of the Chomsky-Schützenberger theorem

    Okhotin, A., 20 авг 2012, Developments in Language Theory - 16th International Conference, DLT 2012, Proceedings. стр. 121-129 9 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7410 LNCS).

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

  10. Representing Hyper-arithmetical Sets by Equations over Sets of Integers

    Jez, A. & Okhotin, A., 1 авг 2012, в: Theory of Computing Systems. 51, 2, стр. 196-228 33 стр.

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

  11. Language equations with symmetric difference

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

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

  12. 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).

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

ID: 195867