Power-set functors and saturated trees
     (Conference Paper)
<Overall Information>
Conference Name: Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL
Volume: Leibniz International Proceedings in Informatics (LIPIcs), Vol. 12
Pages: 5-19
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Financiado total ou parcialmente pela FCT, Fundação para a Ciência e a Tecnologia, I.P., sob o Financiamento de:
UID/00324/2025 Projeto Estratégico com a referência DOI https://doi.org/10.54499/UID/00324/2025.
https://doi.org/10.54499/UID/PRR/00324/2025     UID/PRR/00324/2025   https://doi.org/10.54499/UID/PRR2/00324/2025   UID/PRR2/00324/2025
Powered by: rdOnWeb v1.4 | technical support