Polynomial computability and recursivity in finite domains. Elektronische Informationsverarbeitung und Kybernetik (1980)

by V Sazonov