An Equational Axiomatization for Multi-Exit Iteration

Luca Aceto, W. J. Fokkink

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Information and Computation
Vol/bind	137
Udgave nummer	2
Sider (fra-til)	121-158
ISSN	0890-5401
Status	Udgivet - 1996

AUB Link

@article{c7e34470001e11dab4d5000ea68e967b,

title = "An Equational Axiomatization for Multi-Exit Iteration",

author = "Luca Aceto and Fokkink, {W. J.}",

year = "1996",

language = "English",

volume = "137",

pages = "121--158",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Academic Press",

number = "2",

}