default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYasuo Kawahara
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
[j12]Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari
:
Kleisli, Parikh and Peleg compositions and liftings for multirelations. J. Log. Algebraic Methods Program. 90: 84-101 (2017)- [i1]Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari:
Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations. CoRR abs/1705.05650 (2017) - 2016
- [j11]Shuichi Inokuchi, Hitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara:
Cellular Automata Associated with Σ-Algebras. IEICE Trans. Inf. Syst. 99-D(3): 588-597 (2016) - [j10]Toshikazu Ishida, Shuichi Inokuchi, Yasuo Kawahara:
Propositional Logic and Cellular Automata on Monoids. J. Cell. Autom. 12(1-2): 27-45 (2016) - 2015
- [j9]Hitoshi Furusawa, Yasuo Kawahara:
Point axioms and related conditions in Dedekind categories. J. Log. Algebraic Methods Program. 84(3): 359-376 (2015) - [c21]Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari:
Relational Formalisations of Compositions and Liftings of Multirelations. RAMiCS 2015: 84-100 - 2014
- [j8]Norihiro Tsumagari, Hitoshi Furusawa, Yasuo Kawahara:
Relations into algebras of probabilistic distributions. J. Log. Algebraic Methods Program. 83(2): 263-283 (2014) - [c20]Toshikazu Ishida, Shuichi Inokuchi, Yasuo Kawahara:
Cellular Automata and Formulae on Monoids. ACRI 2014: 55-64 - 2012
- [c19]Hitoshi Furusawa, Yasuo Kawahara:
Point Axioms in Dedekind Categories. RAMiCS 2012: 219-234 - [c18]Hitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara:
Continuous Relations and Richardson's Theorem. RAMiCS 2012: 310-325 - 2011
- [j7]Hitoshi Furusawa, Yasuo Kawahara, Michael Winter:
Dedekind categories with cutoff operators. Fuzzy Sets Syst. 173(1): 1-24 (2011) - 2010
- [j6]Yasuo Kawahara, Michael Winter:
Cardinality functions in allegories. J. Log. Algebraic Methods Program. 79(8): 830-844 (2010)
2000 – 2009
- 2009
- [c17]Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara:
Armstrong's Inference Rules in Dedekind Categories. RelMiCS 2009: 187-198 - [c16]Yasuo Kawahara, Michael Winter:
Cardinal Addition in Distributive Allegories. RelMiCS 2009: 227-241 - 2008
- [c15]Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara:
Formal Concepts in Dedekind Categories. RelMiCS 2008: 221-233 - [c14]Yasuo Kawahara:
Boolean Algebras and Stone Maps in Schröder Categories. RelMiCS 2008: 259-273 - [c13]Yasuo Kawahara, Michael Winter:
Cardinality in Allegories. RelMiCS 2008: 274-288 - 2007
- [c12]Tatsuro Sato, Kazumasa Honda, Hyen Yeal Lee, Yasuo Kawahara:
A Classification of Triplet Local Rules with Inverse Image Sequences. IWNC 2007: 167-178 - 2006
- [c11]Yasuo Kawahara:
On the Cardinality of Relations. RelMiCS 2006: 251-265 - 2005
- [c10]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
- [c9]Yasuo Kawahara:
Groups in Allegories. RelMiCS 2001: 88-103 - [c8]Hitomi Okuma, Yasuo Kawahara:
A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in Dedekind Categories. RelMiCS 2001: 152-170 - 2000
- [j5]Yasuo Kawahara, Masao Mori:
A small final coalgebra theorem. Theor. Comput. Sci. 233(1-2): 129-145 (2000) - [c7]Yasuo Kawahara, Hitoshi Furusawa:
Crispness in Dedekind Categories. RelMiCS 2000: 175-184 - [c6]Yasuo Kawahara, Hitomi Ohkuma:
Relational Aspects of Relational Database Dependencies. RelMiCS 2000: 185-194
1990 – 1999
- 1999
- [j4]Yasuo Kawahara, Hitoshi Furusawa:
An algebraic formalization of fuzzy relations. Fuzzy Sets Syst. 101(1): 125-135 (1999) - [j3]Yasuo Kawahara, Hitoshi Furusawa, Masao Mori:
Categorical Representation Theorems of Fuzzy Relations. Inf. Sci. 119(3-4): 235-251 (1999) - 1998
- [c5]Yasuo Kawahara:
Lattices in Dedekind categories. RelMiCS 1998: 127-131 - 1997
- [c4]Yasuo Kawahara, Hitoshi Furusawa, Masao Mori:
Categorical Representation Theorems of Fuzzy Relations. RelMiCS 1997: 1-10 - [c3]Masao Mori, Yasuo Kawahara:
Fuzzy Graph Rewritings. RelMiCS 1997: 29-38 - 1995
- [j2]Yoshihiro Mizoguchi, Yasuo Kawahara:
Relational Graph Rewritings. Theor. Comput. Sci. 141(1&2): 311-328 (1995) - [c2]Yasuo Kawahara:
Relational Set Theory. Category Theory and Computer Science 1995: 44-58 - 1993
- [c1]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
- [j1]Yasuo Kawahara:
Pushout-Complements and Basic Concepts of Grammars in Toposes. Theor. Comput. Sci. 77(3): 267-289 (1990)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-04 03:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
