Termination modulo equations by abstract commutation with an application to iteration
- Wan Fokkink*
- , Hans Zantema
*Corresponding author for this work
Research output: Contribution to Journal › Article › Academic › peer-review
Research output: Contribution to Journal › Article › Academic › peer-review