Cryptomorphic topological structures: A computational, relation-algebraic approach. | 0 | 0.34 | 2019 |
Relational Mathematics Continued. | 0 | 0.34 | 2014 |
Partiality II: Constructed relation algebras. | 1 | 0.36 | 2012 |
Relational concepts in social choice | 3 | 0.39 | 2012 |
Contact, closure, topology, and the linking of row and column types of relations | 4 | 0.48 | 2011 |
Constructions around partialities | 2 | 0.41 | 2011 |
Contact Relations with Applications | 0 | 0.34 | 2009 |
Relational measures and integration in preference modeling | 4 | 0.41 | 2008 |
Relations making their way from logics to mathematics and applied sciences | 0 | 0.34 | 2008 |
Algebraic Visualization Of Relations Using Relview | 2 | 0.41 | 2007 |
Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers | 17 | 1.22 | 2006 |
Homomorphism and isomorphism theorems generalized from a relational perspective | 2 | 0.39 | 2006 |
Partiality I: Embedding relation algebras | 9 | 0.71 | 2006 |
Relational Measures and Integration | 2 | 0.39 | 2006 |
RelView and Rath - Two Systems for Dealing with Relations | 8 | 0.63 | 2003 |
Theory Extraction in Relational Data Analysis | 0 | 0.34 | 2003 |
Relational Data Analysis | 0 | 0.34 | 2003 |
Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised Papers | 11 | 2.43 | 2003 |
A Necessary Relation Algebra for Mereotopology | 17 | 0.92 | 2001 |
Prototyping Relational Specifications Using Higher-Order Objects | 11 | 1.92 | 1993 |
Comparing Two Different Approaches to Products in Abstract Relation Algebra | 10 | 1.17 | 1993 |
RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker | 11 | 1.12 | 1993 |
RELVIEW - A Computer System for the Manipulation of Relations | 8 | 2.59 | 1993 |
17th International Workshop, WG '91, Fischbachau, Germany, June 17-19, 1991, Proceedings | 25 | 4.92 | 1992 |
The RELVIEW-system | 7 | 1.67 | 1991 |
Symmetric quotients and domain constructions | 26 | 3.10 | 1989 |
Describing semantic domains with sprouts | 2 | 0.73 | 1987 |
An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra | 4 | 0.57 | 1986 |
Relation Algebras - Concept Of Points And Representability | 17 | 1.73 | 1985 |