Igor Prívara

According to our database, Igor Prívara authored at least 3 papers between 1986 and 1993.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1993

On Tree Pattern Unification Problems.

Peter Ruzicka, Igor Prívara

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

1988

An Almost Linear Robinson Unification ALgorithm.

Peter Ruzicka, Igor Prívara

Proceedings of the Mathematical Foundations of Computer Science 1988, 1988

1986

On Nontermination of Knuth-Bendix Algorithm.

Miki Hermann, Igor Prívara

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