Вы здесь

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