| 2008 |
|---|
| 18 | EE | Toshikazu Ishida,
Kazumasa Honda,
Yasuo Kawahara:
Formal Concepts in Dedekind Categories.
RelMiCS 2008: 221-233 |
| 17 | EE | Yasuo Kawahara:
Boolean Algebras and Stone Maps in Schröder Categories.
RelMiCS 2008: 259-273 |
| 16 | EE | Yasuo Kawahara,
Michael Winter:
Cardinality in Allegories.
RelMiCS 2008: 274-288 |
| 2006 |
|---|
| 15 | EE | Yasuo Kawahara:
On the Cardinality of Relations.
RelMiCS 2006: 251-265 |
| 2005 |
|---|
| 14 | EE | Shuichi Inokuchi,
Kazumasa Honda,
Hyen Yeal Lee,
Tatsuro Sato,
Yoshihiro Mizoguchi,
Yasuo Kawahara:
On Reversible Cellular Automata with Finite Cell Array.
UC 2005: 130-141 |
| 2001 |
|---|
| 13 | EE | Hitomi Okuma,
Yasuo Kawahara:
A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in Dedekind Categories.
RelMiCS 2001: 152-170 |
| 12 | EE | Yasuo Kawahara:
Groups in Allegories.
RelMiCS 2001: 88-103 |
| 2000 |
|---|
| 11 | | Yasuo Kawahara,
Hitoshi Furusawa:
Crispness in Dedekind Categories.
RelMiCS 2000: 175-184 |
| 10 | | Yasuo Kawahara,
Hitomi Ohkuma:
Relational Aspects of Relational Database Dependencies.
RelMiCS 2000: 185-194 |
| 9 | EE | Yasuo Kawahara,
Masao Mori:
A small final coalgebra theorem.
Theor. Comput. Sci. 233(1-2): 129-145 (2000) |
| 1999 |
|---|
| 8 | | Yasuo Kawahara,
Hitoshi Furusawa,
Masao Mori:
Categorical Representation Theorems of Fuzzy Relations.
Inf. Sci. 119(3-4): 235-251 (1999) |
| 1998 |
|---|
| 7 | | Yasuo Kawahara:
Lattices in Dedekind categories.
RelMiCS 1998: 127-131 |
| 1997 |
|---|
| 6 | | Yasuo Kawahara,
Hitoshi Furusawa,
Masao Mori:
Categorical Representation Theorems of Fuzzy Relations.
RelMiCS 1997: 1-10 |
| 5 | | Masao Mori,
Yasuo Kawahara:
Fuzzy Graph Rewritings.
RelMiCS 1997: 29-38 |
| 1995 |
|---|
| 4 | | Yasuo Kawahara:
Relational Set Theory.
Category Theory and Computer Science 1995: 44-58 |
| 3 | EE | Yoshihiro Mizoguchi,
Yasuo Kawahara:
Relational Graph Rewritings.
Theor. Comput. Sci. 141(1&2): 311-328 (1995) |
| 1993 |
|---|
| 2 | | 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: 218-233 |
| 1990 |
|---|
| 1 | | Yasuo Kawahara:
Pushout-Complements and Basic Concepts of Grammars in Toposes.
Theor. Comput. Sci. 77(3): 267-289 (1990) |
