A Complete Equational Axiomatization for MPA with String Iteration

Luca Aceto, J. F. Groote

Publikation: Bog/antologi/afhandling/rapportBogForskning

OriginalsprogEngelsk
UdgivelsesstedÅrhus : Daimi
ForlagDepartment of Computer Science, Aarhus University
Antal sider39
StatusUdgivet - 1995
NavnBRICS Report Series
NummerRS-95-28
ISSN0909-0878

Citationsformater