Pages that link to "Item:Q5055813"
From MaRDI portal
The following pages link to Modularity of completeness revisited (Q5055813):
Displaying 13 items.
- Modular termination of \(r\)-consistent and left-linear term rewriting systems (Q672714) (← links)
- On the completeness of modular proof systems (Q917327) (← links)
- Bubbles in modularity (Q1127335) (← links)
- Modularity of confluence: A simplified proof (Q1318777) (← links)
- Modular proofs for completeness of hierarchical term rewriting systems (Q1350349) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- Understanding PPA-completeness (Q2208253) (← links)
- The theory of vaccines (Q4571995) (← links)
- (Q4941240) (← links)
- Fine-grained concurrent completion (Q5055848) (← links)
- Understanding PPA-completeness (Q5368757) (← links)
- (Q5483003) (← links)
- On the specification of visual languages: multisets as first-class citizens (Q6560194) (← links)