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 #1 to #50.

Duoidally enriched Freyd categories: Label: en
Enumerating, cataloguing and classifying all quantales on up to nine elements: Label: en
On the complexity of Kleene algebra with domain: Label: en
Implication algebras and implication semigroups of binary relations: Label: en
What else is undecidable about loops?: Label: en
Completeness and the finite model property for Kleene algebra, reconsidered: Label: en
Representable and diagonally representable weakening relation algebras: Label: en
Normal forms for elements of the *-continuous Kleene algebras $K{\otimes_\mathcal{R}}C_2'$: Label: en
Dependences between domain constructions in heterogeneous relation algebras: Label: en
Compatibility of refining and controlling plant automata with bisimulation quotients: Label: en
The structure of locally integral involutive po-monoids and semirings: Label: en
Contextuality in distributed systems: Label: en
A general method for representing sets of relations by vectors: Label: en
Comer schemes, relation algebras, and the flexible atom conjecture: Label: en
Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components: Label: en
Relational algebraic approach to the real numbers the additive group: Label: en
Towards a theory of conversion relations for prefixed units of measure: Label: en
Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$: Label: en
Nominal Sets over Algebraic Atoms: Label: en
Tableau Development for a Bi-intuitionistic Tense Logic: Label: en
Fuzzifying Modal Algebra: Label: en
Refinements of the RCC25 Composition Table: Label: en
Complete Solution of a Constrained Tropical Optimization Problem with Application to Location Analysis: Label: en
Towards Finding Maximal Subrelations with Desired Properties: Label: en
Relational Lattices: Label: en
Relation Algebra and RelView Applied to Approval Voting: Label: en
Type-2 Fuzzy Controllers in Arrow Categories: Label: en
Higher-Order Arrow Categories: Label: en
A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories: Label: en
A Mechanised Abstract Formalisation of Concept Lattices: Label: en
A Point-Free Relation-Algebraic Approach to General Topology: Label: en
Parameterised Bisimulations: Some Applications: Label: en
On Faults and Faulty Programs: Label: en
Automated Verification of Relational While-Programs: Label: en
Abstract Dynamic Frames: Label: en
Extended Conscriptions Algebraically: Label: en
Preparing Relational Algebra for “Just Good Enough” Hardware: Label: en
Kleene Algebra with Converse: Label: en
A Modified Completeness Theorem of KAT and Decidability of Term Reducibility: Label: en
Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages: Label: en
Algebras for Program Correctness in Isabelle/HOL: Label: en
Concurrent Kleene Algebra with Tests: Label: en
Endowing Concurrent Kleene Algebra with Communication Actions: Label: en
Developments in Concurrent Kleene Algebra: Label: en
Type-n Arrow Categories: Label: en
Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants: Label: en
Tower Induction and Up-to Techniques for CCS with Fixed Points: Label: en
Embeddability into Relational Lattices Is Undecidable: Label: en
Concurrency-Preserving Minimal Process Representation: Label: en
Aggregation of Votes with Multiple Positions on Each Issue: Label: en