Kazumasa Honda
From MaRDI portal
Person:2844157
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 |
|---|---|---|
| Implication and functional dependency in intensional contexts Bulletin of Informatics and Cybernetics | 2013-08-28 | Paper |
| Tarski's fixed point theorem in Dedekind categories Bulletin of Informatics and Cybernetics | 2013-08-28 | Paper |
| Armstrong's inference rules in Dedekind categories Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
| Formal Concepts in Dedekind Categories Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
| Unconventional Computation | 2006-07-07 | Paper |
Research outcomes over time
This page was built for person: Kazumasa Honda
