Proof systems for Moss' coalgebraic logic

M Bílková, A Palmigiano, Y Venema

Research output: Contribution to journalArticleScientificpeer-review

4 Citations (Scopus)
Original languageUndefined/Unknown
Pages (from-to)36-60
Number of pages25
JournalTheoretical Computer Science
Volume549
Publication statusPublished - 2014

Keywords

  • CWTS JFIS < 0.75

Cite this

Bílková, M., Palmigiano, A., & Venema, Y. (2014). Proof systems for Moss' coalgebraic logic. Theoretical Computer Science, 549, 36-60.