"Ehrenfeucht Test Set Theorem and Hilbert Basis Theorem: A Constructive ..."

Cristian Calude, Dragos Vaida (1989)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics