Вы здесь
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 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Implementation and Application of Automata: Proc./21st International Conference, CIAA 2016, Seoul, South Korea, July 2016 | 2016 | Lecture Notes in Computer Science |
|
02.08.2016 | |||
СБ | Implementation and Application of Automata: Revised Selected Papers/15th International Conference, CIAA 2010, Winnipeg,MB,Canada, August 2010 | 2011 | Lecture Notes in Computer Science |
|
29.03.2011 | |||
СБ | Implementation and Application of Automata: Revised Selected Papers/9th International Conference, CIAA 2004. Kingston, Canada, July 2004 | 2005 | Lecture Notes in Computer Science |
|
29.03.2005 |