A complete equational axiomatization for MPA with string iteration

L. Aceto, J.F. Groote

Research output: Book/ReportReportAcademic

110 Downloads (Pure)
Original languageEnglish
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Number of pages30
Publication statusPublished - 1997

Publication series

NameCWI report. SEN-R : software engineering
Volume9708
ISSN (Print)1386-369X

Cite this