Igor Prvara
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1986–1993
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1993 | FCT | On Tree Pattern Unification Problems. | Peter Ruzicka, Igor Prvara |
| 1988 | MFCS | An Almost Linear Robinson Unification ALgorithm. | Peter Ruzicka, Igor Prvara |
| 1986 | ICALP | On Nontermination of Knuth-Bendix Algorithm. | Miki Hermann, Igor Prvara |