Proof systems for Moss' coalgebraic logic

M Bílková, A Palmigiano, Y Venema

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	Undefined/Unknown
Pages (from-to)	36-60
Number of pages	25
Journal	Theoretical Computer Science
Volume	549
Publication status	Published - 2014

Keywords

@article{47d8b8afecc84a3c8b7f6dcffe891ce6,

title = "Proof systems for Moss' coalgebraic logic",

keywords = "CWTS JFIS < 0.75",

author = "M B{\'i}lkov{\'a} and A Palmigiano and Y Venema",

year = "2014",

language = "Undefined/Unknown",

volume = "549",

pages = "36--60",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

}