Publikation
Dirk Pattinson; Lutz Schröder
In: J. Adamek; C. Kupke (Hrsg.). Coalgebraic Methods in Computer Science. International Workshop on Coalgebraic Methods in Computer Science (CMCS-08), located at 11th European Joint Conferences on Theory and Practice of Software (ETAPS 2008), April 4-6, Budapest, Hungary, Pages 221-241, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 203, Elsevier, Amsterdam, 2008.
@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} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023