See this document in CiteSeerX!

A Study on Symmetric Quotients (1998)  (Make Corrections)  
Hitoshi Furusawa, Wolfram Kahl



  Home/Search   Context   Related

 
View or download:
ist.unibwmuenchen...waKahl1998.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  ist.unibwmuenc...usawaKahl1998 (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Symmetric quotients, introduced in the context of heterogeneous relation algebras, have proven useful for applications comprising for example program semantics and databases. Recently, the increased interest in fuzzy relations has fostered a lot of work concerning relation-like structures with weaker axiomatisations. In this paper, we study symmetric quotients in such settings and provide many new proofs for properties previously only shown in the strong theory of heterogeneous relation... (Update)

Active bibliography (related documents):   More   All
0.8:   Algebraic Formalisations of Fuzzy Relations and Their.. - Furusawa (1998)   (Correct)
0.4:   Crispness in Dedekind Categories - Kawahara, Furusawa   (Correct)
0.4:   A Representation Theorem for Relation Algebras: Concepts of.. - Furusawa (1997)   (Correct)

Similar documents based on text:   More   All
0.4:   Total-Single-Pushout Derivations for Internal Graph Attribution - Kahl (1998)   (Correct)
0.4:   Beyond Pretty-Printing: Galley Concepts in Document Formatting.. - Kahl (1999)   (Correct)
0.3:   Internally Typed Second-Order Term Graphs - Kahl (1998)   (Correct)

BibTeX entry:   (Update)

@misc{ furusawa-study,
  author = "Hitoshi Furusawa and Wolfram Kahl",
  title = "A Study on Symmetric Quotients",
  url = "citeseer.ist.psu.edu/furusawa98study.html" }
Citations (may not include all citations):
47   Relational Methods in Computer Science - Brink, Kahl et al. - 1997
42   EATCS-Monographs on Theoretical Computer Science (context) - Schmidt, Strohlein et al. - 1993
18   volume 39 of NorthHolland Mathematical Library (context) - Freyd, Scedrov et al. - 1990
14   Relation algebras --- concept of points and representability (context) - Schmidt, Strohlein - 1985
7   Categorical representation theorems of fuzzy relations - Kawahara, Furusawa et al. - 1996
6   correspondances de Galois (context) - Riguet, fermetures - 1948
5   Squares and rectangles in relation categories -- three cases.. (context) - Olivier, Serrato - 1995
4   Relation algebras and schroder categories (context) - J'onsson - 1988
4   Information Processing Letters (context) - Berghammer, Schmidt et al. - 1989
3   Lattices in dedekind categories (context) - Kawahara - 1998
1   Algebraic Formalisations of Fuzzy Relations and Their Repres.. - Furusawa - 1998
1   morphisms dans les cat'egories de schroder (context) - Olivier, Serrato - 1980
1   Technische Universitat Munchen (context) - Berghammer, Schmidt et al. - 1986
1   A Basic Properties of Relations We here list a few basic def.. (context) - Zierer, constructions et al. - 1991
1   Hoare's semantics in dedekind categories (context) - Ohkuma - 1998

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC