Termination modulo equations by abstract commutation with an application to iteration

W.J. Fokkink, H. Zantema

Research output: Contribution to journalArticleAcademicpeer-review

Original languageUndefined/Unknown
JournalLogic Group preprint series
Volume153
Publication statusPublished - 1996

Cite this