Вы здесь
Privara I.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | On Tree Pattern Unification Problems | 1993 | Ruzicka P., Privara I. | Lecture Notes in Computer Science | 16.09.1993 | |||
| СТ | Constrained narrowing by decomposition | 1994 | Vittek R., Privara I. | Czech Society for Computer Science, Slovak Society for Computer Science | XXI SOFSEM 94: Contributed Talks | 12.09.1995 | ||
| СТ | On Nontermination of Knuth-Bendix Algorithm | 1985 | Hermann M., Privara I. | 30.09.1999 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Mathematical Foundations of Computer Science 1994: Proc./19th Intern. Symp., MFCS 94. Kosice, Slovakia, August 1994 | 1994 | Lecture Notes in Computer Science |
|
28.09.1994 | |||
| СБ | Mathematical Foundations of Computer Science 1997: Proc./22nd Intern. Symp., MFCS,97. Bratislava, Slovakia, August 1997 | 1997 | Lecture Notes in Computer Science |
|
04.09.1997 |