Admissibility of Cut in Coalgebraic Logics

@inproceedings{pub3854,
    author = {

Pattinson, Dirk
 and 

Schröder, Lutz
},
    editor = {

Adamek, J.
 and 

Kupke, C.
},
    title = {Admissibility of Cut in Coalgebraic Logics},
    booktitle = {Coalgebraic Methods in Computer Science. International Workshop on Coalgebraic Methods in Computer Science (CMCS-08), befindet sich 11th European Joint Conferences on Theory and Practice of Software (ETAPS 2008), April 4-6, Budapest, Hungary},
    series = {Electronic Notes in Theoretical Computer Science (ENTCS)},
    year = {2008},
    volume = {203},
    pages = {221--241},
    publisher = {Elsevier}
}