A Complete Equational Axiomatization for MPA with String Iteration

Luca Aceto, J. F. Groote

Publikation: Bog/antologi/afhandling/rapportBogFormidling

OriginalsprogEngelsk
UdgivelsesstedAmsterdam
ForlagCentrum voor Wiskunde en Informatica
StatusUdgivet - 1997
NavnReport
NummerSEN-R9708

Citationsformater