The omega-Regular Post Embedding Problem.

Pierre Chambart, Philippe Schnoebelen

Browse the full FOSSACS paper archive.