On the Computational Completeness of Equations over Sets of Natural Numbers.

Artur Jez, Alexander Okhotin

Browse the full ICALP paper archive.