Publicações

Power-Set Functors and Saturated Trees

AuthID
P-008-ABV

Author(s)

Adamek, J

Milius, S

Moss, LS

Sousa, L

Tipo de Documento

Proceedings Paper

Year published

2011

Publicado

in Leibniz International Proceedings in Informatics, LIPIcs, ISSN: 1868-8969

Volume: 12, Páginas: 5-19

Conference

25Th International Workshop on Computer Science Logic, Csl 2011/20Th Annual Conference of the European Association for Computer Science Logic, Eacsl, Date: 12 September 2011 through 15 September 2011, Location: Bergen, Patrocinadores: Research Council of Norway;Kurt Godel Society

Indexing