Вы здесь
Huber M.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | A Solution Relying on the Model Checking of Boolean Transition Systems | 1996 | Cuellar J., Barnard D., Huber M. | Lecture Notes in Computer Science | 24.12.1996 | |||
СТ | IX. TLT | 1995 | Cuellar J., Huber M. | Lecture Notes in Computer Science | 25.03.1995 | |||
СТ | Some Results on Top-context-free Tree Languages | 1994 | Hofbauer D., Huber M., Kucherov G. | Lecture Notes in Computer Science | 30.04.1994 |