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

Cristian Calude, Dragos Vaida

Browse the full MFCS paper archive.