Yasuo Kawahara

Publication Activity (10 Years)

Years Active: 1990-2017
Publications (10 Years): 6

Top Topics

Discrete Dynamical Systems

Cellular Automata

Propositional Logic

Chaotic Dynamics

Top Venues

J. Log. Algebraic Methods Program.

IEICE Trans. Inf. Syst.

Publications

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