scientific article; zbMATH DE number 5880307

zbMATH Open1245.03006MaRDI QIDQ2995019FDOQ2995019

Authors:

Publication date: 20 April 2011

Title of this publication is not available (Why is that?)

Recommendations

• Foreword: special issue on coalgebraic logic
• Special issue: Coalgebraic methods in computer science. Papers of the 3rd workshop CMCS, Berlin, Germany, March 25--26, 2000
• Special issue: Selected papers based on the presentations at the workshop `Continuity, computability, constructivity: from logic to algorithms', Cologne, Germany, July 2009
• Special issue: Selected papers based on the presentations at the logic colloquium 2009, Sofia, Bulgaria, July 31 -- August 5, 2009, and the workshop on computability theory 2009
• Special issue: 9th international workshop on coalgebraic methods in computer science (CMCS 2008). Selected papers based on the presentations at the workshop, Budapest, Hungary, 4--6 April 2008
• scientific article; zbMATH DE number 1753205
• scientific article
• Coalgebraic logic over general measurable spaces -- a survey
• Coalgebraic semantics of modal logics: an overview
• Editorial. Coalgebra and logic: a brief overview

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Logic in computer science (03B70)

Cited In (3)

• Title not available (Why is that?)
• Special issue: Selected papers based on the presentations at the workshop on categorial logic and the conference Unilog 2010, Lisbon, Portugal, June, 2010
• Special issue: Selected papers based on the presentations at the workshop `Continuity, computability, constructivity: from logic to algorithms', Cologne, Germany, July 2009

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2995019)