Jan Hruza

According to our database, Jan Hruza authored at least 2 papers between 2000 and 2004.

Collaborative distances:

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

2004

Speedup of Logic Programs by Binarization and Partial Deduction.

Jan Hruza, Petr Stepánek

Theory Pract. Log. Program., 2004

2000

Binary Speed Up for Logic Programs.

Jan Hruza, Petr Stepánek

Proceedings of the Computational Logic, 2000