Pages that link to "Item:Q1575263"
From MaRDI portal
The following pages link to Weak confluence and \(\tau\)-inertness (Q1575263):
Displaying 5 items.
- Sequential and distributed on-the-fly computation of weak tau-confluence (Q436408) (← links)
- Cartesian difference categories (Q2200813) (← links)
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities (Q5164168) (← links)
- Computer Aided Verification (Q5900705) (← links)
- Recursive equations in higher-order process calculi (Q5958778) (← links)