You are here

Characterization, Definability and Separation via Saturated Models

fcarrillo's picture
TitleCharacterization, Definability and Separation via Saturated Models
Publication TypeJournal Article
Year of Publication2014
AuthorsAreces, C., F. Carreiro, and S. Figueira
JournalTheoretical Computer Science
Volume537
Pagination72–86