Travelled to:
1 × United Kingdom
Collaborated with:
P.Stepánek
Talks about:
program (1) binari (1) speed (1) logic (1) up (1)
Person: Jan Hruza
DBLP: Hruza:Jan
Contributed to:
Wrote 1 papers:
- CL-2000-HruzaS #logic programming #source code
- Binary Speed Up for Logic Programs (JH, PS), pp. 116–130.