Nr. 28 (1995): RS-28 A Complete Equational Axiomatization for MPA with String Iteration

Publiceret: 1995-01-28

Artikler