Yasuo Kawahara

According to our database, Yasuo Kawahara authored at least 32 papers between 1990 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2017

Kleisli, Parikh and Peleg compositions and liftings for multirelations.

Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari

J. Log. Algebraic Methods Program., 2017

2016

Propositional Logic and Cellular Automata on Monoids.

Toshikazu Ishida, Shuichi Inokuchi, Yasuo Kawahara

J. Cell. Autom., 2016

Cellular Automata Associated with Σ-Algebras.

Shuichi Inokuchi, Hitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara

IEICE Trans. Inf. Syst., 2016

2015

Point axioms and related conditions in Dedekind categories.

Hitoshi Furusawa, Yasuo Kawahara

J. Log. Algebraic Methods Program., 2015

Relational Formalisations of Compositions and Liftings of Multirelations.

Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2014

Relations into algebras of probabilistic distributions.

Norihiro Tsumagari, Hitoshi Furusawa, Yasuo Kawahara

J. Log. Algebraic Methods Program., 2014

Cellular Automata and Formulae on Monoids.

Toshikazu Ishida, Shuichi Inokuchi, Yasuo Kawahara

Proceedings of the Cellular Automata, 2014

2012

Point Axioms in Dedekind Categories.

Hitoshi Furusawa, Yasuo Kawahara

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

Continuous Relations and Richardson's Theorem.

Hitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011

Dedekind categories with cutoff operators.

Hitoshi Furusawa, Yasuo Kawahara, Michael Winter

Fuzzy Sets Syst., 2011

2010

Cardinality functions in allegories.

Yasuo Kawahara, Michael Winter

J. Log. Algebraic Methods Program., 2010

2009

Cardinal Addition in Distributive Allegories.

Yasuo Kawahara, Michael Winter

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

Armstrong's Inference Rules in Dedekind Categories.

Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

Cardinality in Allegories.

Yasuo Kawahara, Michael Winter

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

Boolean Algebras and Stone Maps in Schröder Categories.

Yasuo Kawahara

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

Formal Concepts in Dedekind Categories.

Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007

A Classification of Triplet Local Rules with Inverse Image Sequences.

Tatsuro Sato, Kazumasa Honda, Hyen Yeal Lee, Yasuo Kawahara

Proceedings of the Natural Computing, 2007

2006

On the Cardinality of Relations.

Yasuo Kawahara

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005

On Reversible Cellular Automata with Finite Cell Array.

Shuichi Inokuchi, Kazumasa Honda, Hyen Yeal Lee, Tatsuro Sato, Yoshihiro Mizoguchi, Yasuo Kawahara

Proceedings of the Unconventional Computation, 4th International Conference, 2005

2001

A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in Dedekind Categories.

Hitomi Okuma, Yasuo Kawahara

Proceedings of the Relational Methods in Computer Science, 2001

Groups in Allegories.

Yasuo Kawahara

Proceedings of the Relational Methods in Computer Science, 2001

2000

A small final coalgebra theorem.

Yasuo Kawahara, Masao Mori

Theor. Comput. Sci., 2000

Relational Aspects of Relational Database Dependencies.

Yasuo Kawahara, Hitomi Ohkuma

Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000

Crispness in Dedekind Categories.

Yasuo Kawahara, Hitoshi Furusawa

Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000

1999

Categorical Representation Theorems of Fuzzy Relations.

Yasuo Kawahara, Hitoshi Furusawa, Masao Mori

Inf. Sci., 1999

An algebraic formalization of fuzzy relations.

Yasuo Kawahara, Hitoshi Furusawa

Fuzzy Sets Syst., 1999

1998

Lattices in Dedekind categories.

Yasuo Kawahara

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

Fuzzy Graph Rewritings.

Masao Mori, Yasuo Kawahara

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

1995

Relational Graph Rewritings.

Yoshihiro Mizoguchi, Yasuo Kawahara

Theor. Comput. Sci., 1995

Relational Set Theory.

Yasuo Kawahara

Proceedings of the Category Theory and Computer Science, 6th International Conference, 1995

1993

Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting.

Yasuo Kawahara, Yoshihiro Mizoguchi

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

1990

Pushout-Complements and Basic Concepts of Grammars in Toposes.

Yasuo Kawahara

Theor. Comput. Sci., 1990