A shorter proof that palindromes are not a Church-Rosser language, with extensions to almost-confluent and preperfect Thue systems

From MaRDI portal

(Redirected from A shorter proof that palindromes are not a Church-Rosser language, with extensions to almost-confluent and preperfect Thue systems)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=A_shorter_proof_that_palindromes_are_not_a_Church-Rosser_language,_with_extensions_to_almost-confluent_and_preperfect_Thue_systems&oldid=64773033"