| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hitoshi Furusawa, Yasuo Kawahara, Michael Winter |
Dedekind categories with cutoff operators.  |
Fuzzy Sets and Systems  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasuo Kawahara, Michael Winter |
Cardinality functions in allegories. |
J. Log. Algebr. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara |
Armstrong's Inference Rules in Dedekind Categories. |
RelMiCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasuo Kawahara, Michael Winter |
Cardinal Addition in Distributive Allegories. |
RelMiCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasuo Kawahara, Michael Winter |
Cardinality in Allegories. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara |
Formal Concepts in Dedekind Categories. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasuo Kawahara |
Boolean Algebras and Stone Maps in Schröder Categories. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasuo Kawahara |
On the Cardinality of Relations. |
RelMiCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuichi Inokuchi, Kazumasa Honda, Hyen Yeal Lee, Tatsuro Sato, Yoshihiro Mizoguchi, Yasuo Kawahara |
On Reversible Cellular Automata with Finite Cell Array. |
UC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasuo Kawahara |
Groups in Allegories. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Hitomi Okuma, Yasuo Kawahara |
A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in Dedekind Categories. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasuo Kawahara, Masao Mori |
A small final coalgebra theorem. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasuo Kawahara, Hitomi Ohkuma |
Relational Aspects of Relational Database Dependencies. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Yasuo Kawahara, Hitoshi Furusawa |
Crispness in Dedekind Categories. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Yasuo Kawahara, Hitoshi Furusawa, Masao Mori |
Categorical Representation Theorems of Fuzzy Relations. |
Inf. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasuo Kawahara |
Lattices in Dedekind categories. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Masao Mori, Yasuo Kawahara |
Fuzzy Graph Rewritings. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Yasuo Kawahara, Hitoshi Furusawa, Masao Mori |
Categorical Representation Theorems of Fuzzy Relations. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Yoshihiro Mizoguchi, Yasuo Kawahara |
Relational Graph Rewritings. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasuo Kawahara |
Relational Set Theory. |
Category Theory and Computer Science |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasuo Kawahara |
Pushout-Complements and Basic Concepts of Grammars in Toposes. |
Theor. Comput. Sci. |
1990 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")