The following pages link to (Q5089021):
Displaying 4 items.
- Confluence and convergence modulo equivalence in probabilistically terminating reduction systems (Q1726351) (← links)
- Topological rewriting systems applied to standard bases and syntactic algebras (Q2295395) (← links)
- (Q5094133) (← links)
- A note on confluence in typed probabilistic lambda calculi (Q6661149) (← links)
