Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #101 to #150.

Decomposition of Database Preferences on the Power Set of the Domain: Label: en
Towards Antichain Algebra: Label: en
Solving a Tropical Optimization Problem via Matrix Sparsification: Label: en
Text Categorization Using Hyper Rectangular Keyword Extraction: Application to News Articles Classification: Label: en
L-Fuzzy Databases in Arrow Categories: Label: en
A First-Order Calculus for Allegories: Label: en
Relation Algebraic Approaches to Fuzzy Relations: Label: en
Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL: Label: en
Synthesising Terminating Tableau Calculi for Relational Logics: Label: en
Social Networks: Prestige, Centrality, and Influence: Label: en
Building Structured Theories: Label: en
Relational Heterogeneity Relaxed by Subtyping: Label: en
Splitting Atoms in Relational Algebras: Label: en
Constructions around Partialities: Label: en
Programming from Galois Connections: Label: en
Ampersand: Label: en
On Probabilistic Kleene Algebras, Automata and Simulations: Label: en
Omega Algebras and Regular Equations: Label: en
Dependently-Typed Formalisation of Relation-Algebraic Abstractions: Label: en
Towards an Algebra of Routing Tables: Label: en
Towards a Typed Omega Algebra: Label: en
Pathfinding through Congruences: Label: en
Using Bisimulations for Optimality Problems in Model Refinement: Label: en
Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings: Label: en
An Algebraic Approach to Preference Relations: Label: en
Variable Side Conditions and Greatest Relations in Algebraic Separation Logic: Label: en
A Functional, Successor List Based Version of Warshall’s Algorithm with Applications: Label: en
Relational Modelling and Solution of Chessboard Problems: Label: en
Unifying Lazy and Strict Computations: Label: en
Transitive Separation Logic: Label: en
Extension Properties of Boolean Contact Algebras: Label: en
Relations on Hypergraphs: Label: en
Continuous Relations and Richardson’s Theorem: Label: en
An Algebra of Layered Complex Preferences: Label: en
Relational Concepts in Social Choice: Label: en
Incremental Pseudo Rectangular Organization of Information Relative to a Domain: Label: en
Relation Algebras, Matrices, and Multi-valued Decision Diagrams: Label: en
Two Observations in Dioid Based Model Refinement: Label: en
Point Axioms in Dedekind Categories: Label: en
Relational Representation Theorem for Powerset Quantales: Label: en
Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings: Label: en
On Completeness of Omega-Regular Algebras: Label: en
Left-Handed Completeness: Label: en
Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants: Label: en
Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings: Label: en
Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures: Label: en
Deciding Regular Expressions (In-)Equivalence in Coq: Label: en
Towards Certifiable Implementation of Graph Transformation via Relation Categories: Label: en
Automated Reasoning in Higher-Order Regular Algebra: Label: en
Towards an Algebra for Real-Time Programs: Label: en