Вы здесь

Salomaa K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Rewriting Rules for Synchronization Languages 1997 Salomaa K., Yu S. Lecture Notes in Computer Science 30.08.1997
СТ Decidability of Equivalence for Deterministic Synchronized Tree Automata 1995 Salomaa K. Lecture Notes in Computer Science 16.06.1995
СТ Complexity of EOL Structural Equivalence 1994 Salomaa K., Wood D., Yu S. Lecture Notes in Computer Science 30.09.1994
СТ Structural Equivalence and ETOL Grammars 1993 Salomaa K., Wood D., Yu S. Lecture Notes in Computer Science 16.09.1993
СТ Primality Types of Instances of the Post Correspondence Problem 1991 Salomaa A., Salomaa K., Yu S. EATCS Bull. 19.09.1991