Login / Signup

Characterization, definability and separation via saturated models.

Carlos ArecesFacundo CarreiroSantiago Figueira
Published in: Theor. Comput. Sci. (2014)
Keyphrases