The following pages link to Relational Decomposition (Q3087994):
Displaying 17 items.
- Decomposition of k-ary relations (Q751668) (← links)
- Decomposing a relation into a tree of binary relations (Q909447) (← links)
- Relational program reasoning using compiler IR (Q1703014) (← links)
- Abstraction and subsumption in modular verification of C programs (Q2147702) (← links)
- Product programs and relational program logics (Q2374302) (← links)
- Deciding absorption in relational structures (Q2407970) (← links)
- Decomposably linear relations (Q2687422) (← links)
- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (Q2988675) (← links)
- Relational Decomposition (Q3087994) (← links)
- (Q3680315) (← links)
- (Q3685239) (← links)
- MORE RESULTS ON DECOMPOSITION AND DECOUPLING OF SINGLE RELATION SYSTEMS (Q3978310) (← links)
- (Q4323373) (← links)
- Relational decomposition through partial functional dependencies (Q4552835) (← links)
- (Q4881848) (← links)
- (Q5016382) (← links)
- Abstraction and subsumption in modular verification of C programs (Q6535970) (← links)