Zorana Ristovic

According to our database, Zorana Ristovic authored at least 1 paper in 1992.

Collaborative distances:

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

1992

A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract).

Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, Zorana Ristovic

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992