Hostname: page-component-cd9895bd7-jn8rn Total loading time: 0 Render date: 2024-12-17T19:36:29.870Z Has data issue: false hasContentIssue false
  • English
  • Français

Foreword: special issue on coalgebraic logic

Published online by Cambridge University Press:  20 May 2016

ERNST-ERICH DOBERKAT  and
ALEXANDER KURZ
ERNST-ERICH DOBERKAT
Affiliation:
Chair for Software Technology, Technische Universität Dortmund, Dortmund, Germany Email: [email protected]
ALEXANDER KURZ
Affiliation:
Department of Computer Science, University of Leicester, Leicester, U.K. Email: [email protected]
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The second Dagstuhl seminar on coalgebraic logics took place from October 7–12, 2012, in the Leibniz Forschungszentrum Schloss Dagstuhl, following a successful earlier one in December 2009. From the 44 researchers who attended and the 30 talks presented, this collection highlights some of the progress that has been made in the field. We are grateful to Giuseppe Longo and his interest in a special issue in Mathematical Structures in Computer Science.

Type
Foreword
Information
Mathematical Structures in Computer Science , Volume 27 , Special Issue 7: Special Issue: Coalgebraic Logic , October 2017 , pp. 1108 - 1110
Copyright
Copyright © Cambridge University Press 2016