Jan Hruza

Publication Activity (10 Years)

Years Active: 2000-2004
Publications (10 Years): 0

Publications

Jan Hruza, Petr Stepánek
Speedup of Logic Programs by Binarization and Partial Deduction. Theory Pract. Log. Program. 4 (3) (2004)
Jan Hruza, Petr Stepánek
Speedup of Logic Programs by Binarization and Partial Deduction CoRR (2003)
Jan Hruza, Petr Stepánek
Binary Speed Up for Logic Programs. Computational Logic (2000)