Pages that link to "Item:Q582127"

The following pages link to Symmetric quotients and domain constructions (Q582127):

Displaying 11 items.

• Computing minimal extending sets by relation-algebraic modeling and development (Q406434) (← links)
• Multirelations with infinite computations (Q406449) (← 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)
• Determinisation of relational substitutions in ordered categories with domain (Q604457) (← links)
• Partiality. I: Embedding relation algebras (Q817586) (← links)
• Semantic distance between specifications (Q1583257) (← links)
• Cryptomorphic topological structures: a computational, relation-algebraic approach (Q1633340) (← links)
• Programming from metaphorisms (Q1683699) (← links)
• A relational division operator: The conjugate kernel (Q2367540) (← links)
• A Relation-Algebraic Approach to Multirelations and Predicate Transformers (Q2941166) (← links)