scientific article
From MaRDI portal
Publication:2995019
zbMATH Open1245.03006MaRDI QIDQ2995019
Author name not available (Why is that?)
Publication date: 20 April 2011
Title of this publication is not available (Why is that?)
Proceedings of conferences of miscellaneous specific interest (00B25) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (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
Recommendations
- Title not available (Why is that?) ๐ ๐
- Title not available (Why is that?) ๐ ๐
- Title not available (Why is that?) ๐ ๐
- Special issue: Selected papers based on the presentations at the workshop `Continuity, computability, constructivity: from logic to algorithms', Cologne, Germany, July 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 ๐ ๐
- Coalgebraic semantics of modal logics: an overview ๐ ๐
- Special issue: Coalgebraic methods in computer science. Papers of the 3rd workshop CMCS, Berlin, Germany, March 25--26, 2000 ๐ ๐
- Coalgebraic logic over general measurable spaces โ a survey ๐ ๐
- Coalgebra and Logic: A Brief Overview ๐ ๐
- Foreword: special issue on coalgebraic logic ๐ ๐
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)