Nr. 5 (1995): RS-05 A Complete Equational Axiomatization for Prefix Iteration with Silent Steps

Publiceret: 1995-01-05

Artikler