A Complete Equational Axiomatization for MPA with String Iteration

Luca Aceto, J. F. Groote

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

Originalsprog	Engelsk
Tidsskrift	Theoretical Computer Science
Vol/bind	211
Udgave nummer	1-2
Sider (fra-til)	339-374
ISSN	0304-3975
Status	Udgivet - 1999

AUB Link

@article{36fc8a70001e11dab4d5000ea68e967b,

title = "A Complete Equational Axiomatization for MPA with String Iteration",

author = "Luca Aceto and Groote, {J. F.}",

year = "1999",

language = "English",

volume = "211",

pages = "339--374",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "1-2",

}