Igor Prívara

Publication Activity (10 Years)

Years Active: 1986-1993
Publications (10 Years): 0

Publications

Peter Ruzicka, Igor Prívara
On Tree Pattern Unification Problems. FCT (1993)
Peter Ruzicka, Igor Prívara
An Almost Linear Robinson Unification Algorithm. Acta Informatica 27 (1) (1989)
Peter Ruzicka, Igor Prívara
An Almost Linear Robinson Unification ALgorithm. MFCS (1988)
Miki Hermann, Igor Prívara
On Nontermination of Knuth-Bendix Algorithm. ICALP (1986)