Hitoshi Furusawa

Available identifiers

zbMath Open furusawa.hitoshiMaRDI QIDQ406459

List of research outcomes

Publication	Date of Publication	Type
Determinism of multirelations	2024-06-25	Paper
Relational calculus as a formal system	2024-06-18	Paper
Preorders, Partial Semigroups, and Quantales	2022-08-30	Paper
Relational characterisations of paths	2020-11-09	Paper
AXIOM OF CHOICE AND ZORN'S LEMMA IN CANTOR CATEGORIES	2020-09-14	Paper
Taming Multirelations	2017-07-13	Paper
Concurrent Dynamic Algebra	2017-07-12	Paper
Kleisli, Parikh and Peleg compositions and liftings for multirelations	2017-07-04	Paper
Uniform continuity of relations and nondeterministic cellular automata	2017-05-02	Paper
Relational Formalisations of Compositions and Liftings of Multirelations	2016-01-08	Paper
Point axioms and related conditions in Dedekind categories	2015-06-10	Paper
Multirelational representation theorems for complete idempotent left semirings.	2015-06-10	Paper
Relations into algebras of probabilistic distributions	2014-09-08	Paper
A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories	2014-04-16	Paper
Multirelational models of lazy, monodic tree, and probabilistic Kleene algebras	2013-08-28	Paper
Crispness in Dedekind categories	2013-08-28	Paper
Point Axioms in Dedekind Categories	2012-09-21	Paper
Continuous Relations and Richardson’s Theorem	2012-09-21	Paper
Relational Representation Theorem for Powerset Quantales	2012-09-21	Paper
Remarks on ideal completion of \(\ast\)-continuous idempotent left semirings	2012-08-07	Paper
Dedekind categories with cutoff operators	2011-07-15	Paper
Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings	2011-06-17	Paper
\(\ast \)-continuous idempotent left semirings and their ideal completion	2009-12-11	Paper
The cube of Kleene algebras and the triangular prism of multirelations	2009-12-11	Paper
A Non-probabilistic Relational Model of Probabilistic Kleene Algebras	2008-05-15	Paper
Monodic Tree Kleene Algebra	2008-04-24	Paper
Relational Methods in Computer Science	2007-05-02	Paper
Relational and Kleene-Algebraic Methods in Computer Science	2005-12-23	Paper
Mathematics of Program Construction	2005-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4937872	2000-02-20	Paper
Categorical representation theorems of fuzzy relations	2000-01-30	Paper
https://portal.mardi4nfdi.de/entity/Q4703139	1999-12-14	Paper
An algebraic formalization of fuzzy relations	1999-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4240999	1999-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q4355101	1997-09-17	Paper
Cardinality and Representation of Stone Relation Algebras	N/A	Paper

Research outcomes over time

This page was built for person: Hitoshi Furusawa