Toshikazu Ishida
From MaRDI portal
Person:2844156
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 |
|---|---|---|
| Relational calculus as a formal system Bulletin of Informatics and Cybernetics | 2024-06-18 | Paper |
| Reversibility of CA-150 with symmetry local structure Bulletin of informatics and cybernetics | 2022-05-10 | Paper |
| Propositional logic and cellular automata on monoids | 2020-03-12 | Paper |
| Implication and functional dependency in intensional contexts Bulletin of Informatics and Cybernetics | 2013-08-28 | Paper |
| Continuous Relations and Richardson’s Theorem Relational and Algebraic Methods in Computer Science | 2012-09-21 | 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 |
Research outcomes over time
This page was built for person: Toshikazu Ishida
