| * | 1997 |
|---|
| 6 | | Igor Prívara,
Peter Ruzicka:
Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings
Springer 1997 |
| 1994 |
|---|
| 5 | | Igor Prívara,
Branislav Rovan,
Peter Ruzicka:
Mathematical Foundations of Computer Science 1994, 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings
Springer 1994 |
| 1993 |
|---|
| 4 | | Peter Ruzicka,
Igor Prívara:
On Tree Pattern Unification Problems.
FCT 1993: 418-429 |
| 1989 |
|---|
| 3 | | Peter Ruzicka,
Igor Prívara:
An Almost Linear Robinson Unification Algorithm.
Acta Inf. 27(1): 61-71 (1989) |
| 1988 |
|---|
| 2 | EE | Peter Ruzicka,
Igor Prívara:
An Almost Linear Robinson Unification ALgorithm.
MFCS 1988: 501-511 |
| 1986 |
|---|
| 1 | EE | Miki Hermann,
Igor Prívara:
On Nontermination of Knuth-Bendix Algorithm.
ICALP 1986: 146-156 |
