| |
| 2004 | ||
|---|---|---|
| 3 | Jan Hruza, Petr Stepánek: Speedup of Logic Programs by Binarization and Partial Deduction. TPLP 4(3): 355-380 (2004) | |
| 2003 | ||
| 2 | EE | Jan Hruza, Petr Stepánek: Speedup of Logic Programs by Binarization and Partial Deduction CoRR cs.PL/0312026: (2003) |
| 2000 | ||
| 1 | EE | Jan Hruza, Petr Stepánek: Binary Speed Up for Logic Programs. Computational Logic 2000: 116-130 |
| 1 | Petr Stepánek | [1] [2] [3] |