Undecidability Results for Bisimilarity on Prefix Rewrite Systems.

Petr Jancar, Jir Srba

Browse the full FOSSACS paper archive.