Publicações

Atomic Polymorphism and the Existence Property

AuthID
P-00P-GZV

Author(s)

Ferreira, G

Tipo de Documento

Article

Year published

2018

Publicado

in ANNALS OF PURE AND APPLIED LOGIC, ISSN: 0168-0072

Volume: 169, Número: 12, Páginas: 1303-1316 (14)

Conference

European Summer Meeting of the Association-For-Symbolic-Logic / Logic Colloquium, Date: AUG 03-08, 2015, Location: Univ Helsinki, City Ctr Campus, Helsinki, FINLAND, Patrocinadores: Univ Helsinki, Dept Math & Stat, Assoc Symbol Log, Federat Learned Soc, Emil Aaltonen Fdn, Finnish Acad Sci & Letters, Host: Univ Helsinki, City Ctr Campus

Indexing