An Equational Axiomatization for Multi-Exit Iteration

Luca Aceto, W. J. Fokkink

Research output: Contribution to journalJournal articleResearchpeer-review

5 Citations (Scopus)
Original languageEnglish
JournalInformation and Computation
Volume137
Issue number2
Pages (from-to)121-158
ISSN0890-5401
Publication statusPublished - 1996

Cite this

Aceto, L., & Fokkink, W. J. (1996). An Equational Axiomatization for Multi-Exit Iteration. Information and Computation, 137(2), 121-158.