Travelled to:
1 × Germany
Collaborated with:
O.Stepánková P.Stepánek
Talks about:
program (1) complex (1) normal (1) comput (1) logic (1) form (1)
Person: Vít Ochozka
DBLP: Ochozka:V=iacute=t
Contributed to:
Wrote 1 papers:
- CSL-1988-OchozkaSS #complexity #logic programming #normalisation #source code
- Normal Forms and the Complexity of Computations of Logic Programs (VO, OS, PS), pp. 357–371.