Kybernetika 18 no. 2, 106-120, 1982

Horn clause programs and recursive functions defined by systems of equations

Jan Šebelík

Classification:

68T15, 03D10, 03D60, 68Q65, 68C30, 03D20

paper.pdf