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 #51 to #100.

Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras: Label: en
Software Development in Relation Algebra with Ampersand: Label: en
Parsing and Printing of and with Triples: Label: en
Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras: Label: en
Stone Relation Algebras: Label: en
Algebraic Investigation of Connected Components: Label: en
Non-associative Kleene Algebra and Temporal Logics: Label: en
Varieties of Cubical Sets: Label: en
Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces: Label: en
Relations as Images: Label: en
Dual Space of a Lattice as the Completion of a Pervin Space: Label: en
Algebra for Quantitative Information Flow: Label: en
The $$\theta $$-Join as a Join with $$\theta $$: Label: en
Hardness of Network Satisfaction for Relation Algebras with Normal Representations: Label: en
A Relation-Algebraic Treatment of the Dedekind Recursion Theorem: Label: en
Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests: Label: en
Sharpness in the Fuzzy World: Label: en
Computer-Supported Exploration of a Categorical Axiomatization of Modeloids: Label: en
The Involutive Quantaloid of Completely Distributive Lattices: Label: en
A Unary Semigroup Trace Algebra: Label: en
Counting and Computing Join-Endomorphisms in Lattices: Label: en
Preorders, Partial Semigroups, and Quantales: Label: en
Stone Dualities from Opfibrations: Label: en
Expressive Power and Succinctness of the Positive Calculus of Relations: Label: en
Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory: Label: en
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL: Label: en
A Hierarchy of Algebras for Boolean Subsets: Label: en
Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras: Label: en
Weakening Relation Algebras and FL$$^2$$-algebras: Label: en
Automated Algebraic Reasoning for Collections and Local Variables with Lenses: Label: en
Generating Posets Beyond N: Label: en
Bisimilarity of Diagrams: Label: en
Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets: Label: en
Generalised N-ary Relations and Allegories: Label: en
Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective: Label: en
Relations among Matrices over a Semiring: Label: en
Relational Formalisations of Compositions and Liftings of Multirelations: Label: en
Closure, Properties and Closure Properties of Multirelations: Label: en
Completeness and Incompleteness in Nominal Kleene Algebra: Label: en
Towards a Probabilistic Interpretation of Game Logic: Label: en
Connections between Relation Algebras and Cylindric Algebras: Label: en
A Quest for Kleene Algebra in 2 Dimensions: Label: en
Tool-Based Verification of a Relational Vertex Coloring Program: Label: en
Investigating and Computing Bipartitions with Algebraic Means: Label: en
Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV: Label: en
Type Checking by Domain Analysis in Ampersand: Label: en
Encoding and Decoding in Refinement Algebra: Label: en
Relational Mathematics for Relative Correctness: Label: en
Metaphorisms in Programming: Label: en
Roughness by Residuals: Label: en