Visning af: Undecidability Results for Bisimilarity on Prefix Rewrite Systems

Tilbage til artikeldetaljer Undecidability Results for Bisimilarity on Prefix Rewrite Systems Download Download PDF