Polynomial computability and recursivity in finite domains. Electronische Informationverarbeitung und Kybernetik (1980)

by V Sazonov