61 - 70 из 183Размер страницы: 10
Сортировать по:: Год публикации
  1. 2017

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

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

  3. State complexity of operations on input-driven pushdown automata

    Okhotin, A. & Salomaa, K., 2017, в: Journal of Computer and System Sciences. 86, стр. 207-228

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

  4. The Quotient Operation on Input-Driven Pushdown Automata

    Okhotin, A. & Salomaa, K., 2017, в: Lecture Notes in Computer Science. 10316, стр. 299-310

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

  5. Unambiguous conjunctive grammars over a one-symbol alphabet

    Jez, A. & Okhotin, A., 2017, в: Theoretical Computer Science. 665, стр. 13-39

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

  6. 2016

  7. Computational and proof complexity of partial string avoidability

    Itsykson, D., Okhotin, A. & Oparin, V., 1 авг 2016, 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016. Muscholl, A., Faliszewski, P. & Niedermeier, R. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 51. (Leibniz International Proceedings in Informatics, LIPIcs; том 58).

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

  8. Descriptional Complexity of Formal Systems

    Jürgensen, H., Karhumäki, J. & Okhotin, A., 11 янв 2016, в: Theoretical Computer Science. 610, 1 стр.

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

  9. Approximate unification in the description logic FL0

    Baader, F., Marantidis, P. & Okhotin, A., 2016, в: Lecture Notes in Computer Science. 10021, стр. 49-63

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

  10. Equations over sets of integers with addition only

    Jez, A. & Okhotin, A., 2016, в: Journal of Computer and System Sciences. 82, 6, стр. 1007-1019

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

  11. Input-driven languages are linear conjunctive

    Okhotin, A., 2016, в: Theoretical Computer Science. 618, стр. 52-71

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

  12. Least and greatest solutions of equations over sets of integers

    Jez, A. & Okhotin, A., 2016, в: Theoretical Computer Science. 619, стр. 68-86

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

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

ID: 195867