On the Computational Completeness of Equations over Sets of Natural Numbers

From MaRDI portal
Publication:3520304