• DML-CZ Home

68C30 

• Šebelík, Jan: Horn clause programs and recursive functions defined by systems of equations. (English). Kybernetika, vol. 18 (1982), issue 2, pp. 106-120
• Lukavcová, Milena: On computable real functions. (English). Kybernetika, vol. 16 (1980), issue 3, pp. (240)-247