- Tytuł:
- A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem
- Autorzy:
-
Halava, V.
Harju, T.
Sahla, E. - Data publikacji:
- 2017
- Słowa kluczowe:
-
infinity
correspondence analysis
finite groups
combinatorial analysis
algebra - Pokaż więcej
- Dostawca treści:
- BazTech