Yasuo Kawahara - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 33 from 33

2017

Kleisli, Parikh and Peleg compositions and liftings for multirelationsHitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari. jlp, 90:84-101, 2017. [doi]

2016

Cellular Automata Associated with Σ-AlgebrasShuichi Inokuchi, Hitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara. ieicet, 99-D(3):588-597, 2016. [doi]

Propositional Logic and Cellular Automata on MonoidsToshikazu Ishida, Shuichi Inokuchi, Yasuo Kawahara. jca, 12(1-2):27-45, 2016. [doi]

2015

Point axioms and related conditions in Dedekind categoriesHitoshi Furusawa, Yasuo Kawahara. jlp, 84(3):359-376, 2015. [doi]

Relational Formalisations of Compositions and Liftings of MultirelationsHitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari. RelMiCS 2015: 84-100 [doi]

2014

Cellular Automata and Formulae on MonoidsToshikazu Ishida, Shuichi Inokuchi, Yasuo Kawahara. acri 2014: 55-64 [doi]

Relations into algebras of probabilistic distributionsNorihiro Tsumagari, Hitoshi Furusawa, Yasuo Kawahara. jlp, 83(2):263-283, 2014. [doi]

2012

Point Axioms in Dedekind CategoriesHitoshi Furusawa, Yasuo Kawahara. RelMiCS 2012: 219-234 [doi]

Continuous Relations and Richardson's TheoremHitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara. RelMiCS 2012: 310-325 [doi]

2011

Dedekind categories with cutoff operatorsHitoshi Furusawa, Yasuo Kawahara, Michael Winter. fss, 173(1):1-24, 2011. [doi]

2010

Cardinality functions in allegoriesYasuo Kawahara, Michael Winter. jlp, 79(8):830-844, 2010. [doi]

2009

Armstrong s Inference Rules in Dedekind CategoriesToshikazu Ishida, Kazumasa Honda, Yasuo Kawahara. RelMiCS 2009: 187-198 [doi]

Cardinal Addition in Distributive AllegoriesYasuo Kawahara, Michael Winter. RelMiCS 2009: 227-241 [doi]

2008

Formal Concepts in Dedekind CategoriesToshikazu Ishida, Kazumasa Honda, Yasuo Kawahara. RelMiCS 2008: 221-233 [doi]

Boolean Algebras and Stone Maps in Schröder CategoriesYasuo Kawahara. RelMiCS 2008: 259-273 [doi]

Cardinality in AllegoriesYasuo Kawahara, Michael Winter. RelMiCS 2008: 274-288 [doi]

2007

A Classification of Triplet Local Rules with Inverse Image SequencesTatsuro Sato, Kazumasa Honda, Hyen Yeal Lee, Yasuo Kawahara. iwnc 2009: 167-178 [doi]

2006

On the Cardinality of RelationsYasuo Kawahara. RelMiCS 2006: 251-265 [doi]

2005

On Reversible Cellular Automata with Finite Cell ArrayShuichi Inokuchi, Kazumasa Honda, Hyen Yeal Lee, Tatsuro Sato, Yoshihiro Mizoguchi, Yasuo Kawahara. uc 2005: 130-141 [doi]

2001

Groups in AllegoriesYasuo Kawahara. RelMiCS 2002: 88-103 [doi]

A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in Dedekind CategoriesHitomi Okuma, Yasuo Kawahara. RelMiCS 2002: 152-170 [doi]

2000

Crispness in Dedekind CategoriesYasuo Kawahara, Hitoshi Furusawa. RelMiCS 2000: 175-184

Relational Aspects of Relational Database DependenciesYasuo Kawahara, Hitomi Ohkuma. RelMiCS 2000: 185-194

A small final coalgebra theoremYasuo Kawahara, Masao Mori. TCS, 233(1-2):129-145, 2000. [doi]

1999

Categorical Representation Theorems of Fuzzy RelationsYasuo Kawahara, Hitoshi Furusawa, Masao Mori. isci, 119(3-4):235-251, 1999.

An algebraic formalization of fuzzy relationsYasuo Kawahara, Hitoshi Furusawa. fss, 101(1):125-135, 1999. [doi]

1998

Lattices in Dedekind categoriesYasuo Kawahara. RelMiCS 1998: 127-131

1997

Categorical Representation Theorems of Fuzzy RelationsYasuo Kawahara, Hitoshi Furusawa, Masao Mori. RelMiCS 1997: 1-10

Fuzzy Graph RewritingsMasao Mori, Yasuo Kawahara. RelMiCS 1997: 29-38

1995

Relational Set TheoryYasuo Kawahara. ctcs 1995: 44-58

Relational Graph RewritingsYoshihiro Mizoguchi, Yasuo Kawahara. TCS, 141(1&2):311-328, 1995. [doi]

1993

Relational Structures and Their Partial Morphisms in View of Single Pushout RewritingYasuo Kawahara, Yoshihiro Mizoguchi. Dagstuhl 1994: 218-233

1990

Pushout-Complements and Basic Concepts of Grammars in ToposesYasuo Kawahara. TCS, 77(3):267-289, 1990.

Sign in or sign up to see more results.

runs on WebDSL