Pages that link to "Item:Q2915131"
From MaRDI portal
The following pages link to Relational and Algebraic Methods in Computer Science (Q2915131):
Displayed 50 items.
- Software Development in Relation Algebra with Ampersand (Q5283210) (← links)
- Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras (Q5283211) (← links)
- Aggregation of Votes with Multiple Positions on Each Issue (Q5283212) (← links)
- Concurrency-Preserving Minimal Process Representation (Q5283215) (← links)
- Embeddability into Relational Lattices Is Undecidable (Q5283216) (← links)
- Tower Induction and Up-to Techniques for CCS with Fixed Points (Q5283217) (← links)
- Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants (Q5283218) (← links)
- Type-n Arrow Categories (Q5283219) (← links)
- Developments in Concurrent Kleene Algebra (Q5410474) (← links)
- Endowing Concurrent Kleene Algebra with Communication Actions (Q5410475) (← links)
- Concurrent Kleene Algebra with Tests (Q5410476) (← links)
- Algebras for Program Correctness in Isabelle/HOL (Q5410477) (← links)
- Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages (Q5410478) (← links)
- A Modified Completeness Theorem of KAT and Decidability of Term Reducibility (Q5410479) (← links)
- Kleene Algebra with Converse (Q5410480) (← links)
- Preparing Relational Algebra for “Just Good Enough” Hardware (Q5410481) (← links)
- Extended Conscriptions Algebraically (Q5410482) (← links)
- Abstract Dynamic Frames (Q5410483) (← links)
- Automated Verification of Relational While-Programs (Q5410484) (← links)
- On Faults and Faulty Programs (Q5410485) (← links)
- Parameterised Bisimulations: Some Applications (Q5410486) (← links)
- A Point-Free Relation-Algebraic Approach to General Topology (Q5410487) (← links)
- A Mechanised Abstract Formalisation of Concept Lattices (Q5410488) (← links)
- A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories (Q5410489) (← links)
- Higher-Order Arrow Categories (Q5410490) (← links)
- Type-2 Fuzzy Controllers in Arrow Categories (Q5410491) (← links)
- Relation Algebra and RelView Applied to Approval Voting (Q5410492) (← links)
- Relational Lattices (Q5410493) (← links)
- Towards Finding Maximal Subrelations with Desired Properties (Q5410494) (← links)
- Complete Solution of a Constrained Tropical Optimization Problem with Application to Location Analysis (Q5410495) (← links)
- Refinements of the RCC25 Composition Table (Q5410497) (← links)
- Fuzzifying Modal Algebra (Q5410498) (← links)
- Tableau Development for a Bi-intuitionistic Tense Logic (Q5410499) (← links)
- Nominal Sets over Algebraic Atoms (Q5410500) (← links)
- Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$ (Q5410501) (← links)
- Coalgebraic tools for randomness-conserving protocols (Q5915547) (← links)
- Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck} (Q5915548) (← links)
- Towards a theory of conversion relations for prefixed units of measure (Q6132514) (← links)
- Relational algebraic approach to the real numbers the additive group (Q6132515) (← links)
- Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components (Q6174409) (← links)
- Comer schemes, relation algebras, and the flexible atom conjecture (Q6174410) (← links)
- A general method for representing sets of relations by vectors (Q6174411) (← links)
- Contextuality in distributed systems (Q6174413) (← links)
- The structure of locally integral involutive po-monoids and semirings (Q6174415) (← links)
- Compatibility of refining and controlling plant automata with bisimulation quotients (Q6174416) (← links)
- Dependences between domain constructions in heterogeneous relation algebras (Q6174417) (← links)
- Normal forms for elements of the *-continuous Kleene algebras \(K{\otimes_\mathcal{R}}C_2'\) (Q6174418) (← links)
- Representable and diagonally representable weakening relation algebras (Q6174419) (← links)
- Completeness and the finite model property for Kleene algebra, reconsidered (Q6174420) (← links)
- What else is undecidable about loops? (Q6174421) (← links)