Termination modulo equations by abstract commutation with an application to iteration

Research output: Contribution to journal › Article › Academic › peer-review

Original language	Undefined/Unknown
Pages (from-to)	407-423
Number of pages	17
Journal	Theoretical Computer Science
Volume	177
Publication status	Published - 1997

Cite this

@article{a852bffffd6f4e5091388508b6c953c6,

title = "Termination modulo equations by abstract commutation with an application to iteration",

author = "W.J. Fokkink and H. Zantema",

year = "1997",

language = "Undefined/Unknown",

volume = "177",

pages = "407--423",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier BV",

}