Nr. 49 (1998): RS-49 A Cook’s Tour of Equational Axiomatizations for Prefix Iteration

Publiceret: 1998-06-19

Artikler