Igor Prívara

According to our database1, Igor Prívara
  • authored at least 4 papers between 1986 and 1993.
  • has a "Dijkstra number"2 of four.

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


  Loading...