Stephan Scheele
From MaRDI portal
Person:764258
Available identifiers
zbMath Open scheele.stephanMaRDI QIDQ764258
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| The Došen square under construction: a tale of four modalities | 2022-05-25 | Paper |
| On the Computational Interpretation of CKn for Contextual Information Processing | 2014-05-14 | Paper |
| Cut-free Gentzen calculus for multimodal CK | 2012-03-13 | Paper |
| Towards constructive DL for abstraction and refinement | 2010-05-26 | Paper |
Research outcomes over time
This page was built for person: Stephan Scheele
