From a noncomputability result to new interesting definitions and computability results

Symbolic and Algebraic Computation - Lecture Notes in Computer Science ◽

10.1007/3-540-51084-2_3 ◽

1989 ◽

pp. 26-32

Author(s):

Francis Sergeraert

Download Full-text