Proof systems for Moss' coalgebraic logic
Journal Article
(2014)
Author(s)
Marta Bílková (External organisation)
A. Palmigiano (TU Delft - Ethics & Philosophy of Technology)
Y Venema (External organisation)
To reference this document use:
https://resolver.tudelft.nl/uuid:47d8b8af-ecc8-4a3c-8b7f-6dcffe891ce6
More Info
expand_more
expand_more
Publication Year
2014
Volume number
549
Pages (from-to)
36-60
No files available
Metadata only record. There are no files for this record.