Decision Problems for Tarski and Presburger Arithmetics Extended With Sets.

Domenico Cantone, Vincenzo Cutello, Jacob T. Schwartz

Browse the full CSL paper archive.