# Igor Prívara

According to our database

^{1}, Igor Prívara## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

1993

On Tree Pattern Unification Problems.

Proceedings of the Fundamentals of Computation Theory, 9th International Symposium, 1993

1989

An Almost Linear Robinson Unification Algorithm.

Acta Inf., 1989

1988

An Almost Linear Robinson Unification ALgorithm.

Proceedings of the Mathematical Foundations of Computer Science 1988, 1988

1986

On Nontermination of Knuth-Bendix Algorithm.

Proceedings of the Automata, Languages and Programming, 13th International Colloquium, 1986