Login / Signup

Decision Problems for Tarski and Presburger Arithmetics Extended With Sets.

Domenico CantoneVincenzo CutelloJacob T. Schwartz
Published in: CSL (1990)
Keyphrases