A Complete Equational Axiomatization for MPA with String Iteration

Luca Aceto, J. F. Groote

Research output: Book/ReportBookCommunication

Original languageEnglish
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Publication statusPublished - 1997
SeriesReport
NumberSEN-R9708

Cite this