Nr. 7 (2006): RS-7 Undecidability Results for Bisimilarity on Prefix Rewrite Systems

Publiceret: 2006-01-07

Artikler