1. 2006
  2. Generalized LR parsing algorithm for Boolean grammars

    Okhotin, A., 1 Jun 2006, In: International Journal of Foundations of Computer Science. 17, 3, p. 629-664 36 p.

    Research output: Contribution to journalArticlepeer-review

  3. Computing by commuting

    Karhumäki, J., Kunc, M. & Okhotin, A., 5 May 2006, In: Theoretical Computer Science. 356, 1-2, p. 200-211 12 p.

    Research output: Contribution to journalArticlepeer-review

  4. Communication of two stacks and rewriting

    Karhumäki, J., Kunc, M. & Okhotin, A., 1 Jan 2006, Automata, Languages and Programming - 33rd International Colloquium, ICALP 2006, Proceedings. Springer Nature, p. 468-479 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4052 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  5. Language equations with complementation

    Okhotin, A. & Yakimova, O., 1 Jan 2006, Developments in Language Theory - 10th International Conference, DLT 2006, Proceedings. Springer Nature, p. 420-432 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4036 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  6. Language equations with symmetric difference

    Okhotin, A., 2006, Computer Science - Theory and Applications, First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings. Grigoriev, D., Harrison, J. & Hirsch, E. A. (eds.). Vol. 3967 LNCS. p. 292-303 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  7. 2005
  8. Unresolved systems of language equations: Expressive power and decision problems

    Okhotin, A., 16 Dec 2005, In: Theoretical Computer Science. 349, 3, p. 283-308 26 p.

    Research output: Contribution to journalArticlepeer-review

  9. The dual of concatenation

    Okhotin, A., 22 Nov 2005, In: Theoretical Computer Science. 345, 2-3, p. 425-447 23 p.

    Research output: Contribution to journalArticlepeer-review

  10. Strict language inequalities and their decision problems

    Okhotin, A., 24 Oct 2005, MFCS 2005: Mathematical Foundations of Computer Science 2005. Vol. 3618. p. 708-719 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  11. LR parsing for boolean grammars

    Okhotin, A., 17 Oct 2005, DLT 2005: Developments in Language Theory. Vol. 3572. p. 362-373 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  12. A characterization of the arithmetical hierarchy by language equations

    Okhotin, A., 1 Oct 2005, In: International Journal of Foundations of Computer Science. 16, 5, p. 985-998 14 p.

    Research output: Contribution to journalArticlepeer-review

ID: 195867