Undecidability in Binary Tag Systems and the Post Correspondence Problem for Five Pairs of Words.

Turlough Neary

Browse the full STACS paper archive.