The following pages link to (Q3060335):
Displaying 34 items.
- Relation lifting, a survey (Q299182) (← links)
- Programming and automating mathematics in the Tarski-Kleene hierarchy (Q406433) (← links)
- Exploring modal worlds (Q406442) (← links)
- Inference engine based on closure and join operators over truth table binary relations (Q406448) (← links)
- Multirelations with infinite computations (Q406449) (← links)
- Hopscotch -- reaching the target hop by hop (Q406451) (← links)
- From-below approximations in Boolean matrix factorization: geometry and new algorithm (Q494072) (← links)
- An algebraic approach to multirelations and their properties (Q516032) (← links)
- Contact, closure, topology, and the linking of row and column types of relations (Q549681) (← links)
- Membership values in arrow categories (Q723308) (← links)
- Cardinality of relations with applications (Q738869) (← links)
- Handling noise in Boolean matrix factorization (Q1644808) (← links)
- Categories of relations for variable-basis fuzziness (Q1677945) (← links)
- A new algorithm for Boolean matrix factorization which admits overcovering (Q1800383) (← links)
- On the use of binary decision diagrams for solving problems on simple games (Q1926964) (← links)
- Partiality. II: Constructed relation algebras (Q1931901) (← links)
- Toward quality assessment of Boolean matrix factorizations (Q2198096) (← links)
- Factorizing Boolean matrices using formal concepts and iterative usage of essential entries (Q2212569) (← links)
- Binary relations, Bäcklund transformations, and wave packet propagation (Q2215164) (← links)
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures (Q2347907) (← links)
- A linear algebra approach to OLAP (Q2355381) (← links)
- Kleisli, Parikh and Peleg compositions and liftings for multirelations (Q2360654) (← links)
- Dependencies in relational models of databases (Q2374317) (← links)
- Relations in linear algebra (Q2401016) (← links)
- Second-order properties of undirected graphs (Q2695354) (← links)
- Relational sums and splittings in categories of \(L\)-fuzzy relations (Q2695371) (← links)
- Change of base using arrow categories (Q2695372) (← links)
- A Relation-Algebraic Approach to Multirelations and Predicate Transformers (Q2941166) (← links)
- Blocks of the Direct Product of Tolerance Relations (Q3388218) (← links)
- NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS (Q3389497) (← links)
- Sharpness in the Fuzzy World (Q5098731) (← links)
- Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces (Q5283203) (← links)
- Type-n Arrow Categories (Q5283219) (← links)
- (Q6040907) (← links)
