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 | | Peter Ruzicka,
Igor Prívara:
An Almost Linear Robinson Unification ALgorithm.
MFCS 1988: 501-511 |
1986 |
1 | | Miki Hermann,
Igor Prívara:
On Nontermination of Knuth-Bendix Algorithm.
ICALP 1986: 146-156 |