Yasuo Kawahara

34 papers C 4Journal 13Unranked 17
YearRankTypeTitle / Venue / Authors
2017 J jnl
Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations.
CoRR
Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari
2017 J jnl
Kleisli, Parikh and Peleg compositions and liftings for multirelations.
J. Log. Algebraic Methods Program.
Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari
2016 J jnl
Cellular Automata Associated with Σ-Algebras.
IEICE Trans. Inf. Syst.
Shuichi Inokuchi, Hitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara
2016 J jnl
Propositional Logic and Cellular Automata on Monoids.
J. Cell. Autom.
Toshikazu Ishida, Shuichi Inokuchi, Yasuo Kawahara
2015 J jnl
Point axioms and related conditions in Dedekind categories.
J. Log. Algebraic Methods Program.
Hitoshi Furusawa, Yasuo Kawahara
2015 C conf
Relational Formalisations of Compositions and Liftings of Multirelations.
RAMiCS
Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari
2014 — conf
Cellular Automata and Formulae on Monoids.
ACRI
Toshikazu Ishida, Shuichi Inokuchi, Yasuo Kawahara
2014 J jnl
Relations into algebras of probabilistic distributions.
J. Log. Algebraic Methods Program.
Norihiro Tsumagari, Hitoshi Furusawa, Yasuo Kawahara
2012 C conf
Continuous Relations and Richardson's Theorem.
RAMiCS
Hitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara
2012 C conf
Point Axioms in Dedekind Categories.
RAMiCS
Hitoshi Furusawa, Yasuo Kawahara
2011 J jnl
Dedekind categories with cutoff operators.
Fuzzy Sets Syst.
Hitoshi Furusawa, Yasuo Kawahara, Michael Winter
2010 J jnl
Cardinality functions in allegories.
J. Log. Algebraic Methods Program.
Yasuo Kawahara, Michael Winter
2009 — conf
Armstrong's Inference Rules in Dedekind Categories.
RelMiCS
Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara
2009 — conf
Cardinal Addition in Distributive Allegories.
RelMiCS
Yasuo Kawahara, Michael Winter
2008 — conf
Boolean Algebras and Stone Maps in Schröder Categories.
RelMiCS
Yasuo Kawahara
2008 — conf
Cardinality in Allegories.
RelMiCS
Yasuo Kawahara, Michael Winter
2008 — conf
Formal Concepts in Dedekind Categories.
RelMiCS
Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara
2007 — conf
A Classification of Triplet Local Rules with Inverse Image Sequences.
IWNC
Tatsuro Sato, Kazumasa Honda, Hyen Yeal Lee, Yasuo Kawahara
2006 — conf
On the Cardinality of Relations.
RelMiCS
Yasuo Kawahara
2005 C conf
On Reversible Cellular Automata with Finite Cell Array.
UC
Shuichi Inokuchi, Kazumasa Honda, Hyen Yeal Lee, Tatsuro Sato, Yoshihiro Mizoguchi, Yasuo Kawahara
2001 — conf
A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in Dedekind Categories.
RelMiCS
Hitomi Okuma, Yasuo Kawahara
2001 — conf
Groups in Allegories.
RelMiCS
Yasuo Kawahara
2000 J jnl
A small final coalgebra theorem.
Theor. Comput. Sci.
Yasuo Kawahara, Masao Mori
2000 — conf
Crispness in Dedekind Categories.
RelMiCS
Yasuo Kawahara, Hitoshi Furusawa
2000 — conf
Relational Aspects of Relational Database Dependencies.
RelMiCS
Yasuo Kawahara, Hitomi Ohkuma
1999 J jnl
An algebraic formalization of fuzzy relations.
Fuzzy Sets Syst.
Yasuo Kawahara, Hitoshi Furusawa
1999 J jnl
Categorical Representation Theorems of Fuzzy Relations.
Inf. Sci.
Yasuo Kawahara, Hitoshi Furusawa, Masao Mori
1998 — conf
Lattices in Dedekind categories.
RelMiCS
Yasuo Kawahara
1997 — conf
Categorical Representation Theorems of Fuzzy Relations.
RelMiCS
Yasuo Kawahara, Hitoshi Furusawa, Masao Mori
1997 — conf
Fuzzy Graph Rewritings.
RelMiCS
Masao Mori, Yasuo Kawahara
1995 J jnl
Relational Graph Rewritings.
Theor. Comput. Sci.
Yoshihiro Mizoguchi, Yasuo Kawahara
1995 — conf
Relational Set Theory.
Category Theory and Computer Science
Yasuo Kawahara
1993 — conf
Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting.
Dagstuhl Seminar on Graph Transformations in Computer Science
Yasuo Kawahara, Yoshihiro Mizoguchi
1990 J jnl
Pushout-Complements and Basic Concepts of Grammars in Toposes.
Theor. Comput. Sci.
Yasuo Kawahara