Vít Ochozka

According to our database, Vít Ochozka authored at least 1 paper in 1988.

Collaborative distances:

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

1988

Normal Forms and the Complexity of Computations of Logic Programs.

Vít Ochozka, Olga Stepánková, Petr Stepánek

Proceedings of the CSL '88, 1988