The following pages link to Term Rewriting and Applications (Q5703853):
Displaying 7 items.
- Algebraic simulations (Q844884) (← links)
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols (Q880981) (← links)
- Termination of just/fair computations in term rewriting (Q924727) (← links)
- Appraising fairness in languages for distributed programming (Q1112589) (← links)
- Abstract fairness and semantics (Q1391865) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- (Q3696524) (← links)