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

Published: 2006-01-07