Go to the corresponding LIPIcs Volume Portal 
Adamek, Jiri ; Milius, Stefan ; Moss, Lawrence S. ; Sousa, Lurdes
pdfformat: 

@InProceedings{adamek_et_al:LIPIcs:2011:3219, author = {Jiri Adamek and Stefan Milius and Lawrence S. Moss and Lurdes Sousa}, title = {{PowerSet Functors and Saturated Trees}}, booktitle = {Computer Science Logic (CSL'11)  25th International Workshop/20th Annual Conference of the EACSL}, pages = {519}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897323}, ISSN = {18688969}, year = {2011}, volume = {12}, editor = {Marc Bezem}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2011/3219}, URN = {urn:nbn:de:0030drops32194}, doi = {http://dx.doi.org/10.4230/LIPIcs.CSL.2011.5}, annote = {Keywords: saturated tree, extensional tree, final coalgebra, powerset functor, modal logic} }
Keywords:  saturated tree, extensional tree, final coalgebra, powerset functor, modal logic  
Seminar:  Computer Science Logic (CSL'11)  25th International Workshop/20th Annual Conference of the EACSL  
Issue Date:  2011  
Date of publication:  31.08.2011 