Author: Šebelík, Jan

Šebelík, Jan: Horn clause programs and recursive functions defined by systems of equations. (English). Kybernetika, vol. 18 (1982), issue 2, pp. 106-120

Partner of