On Markov's Undecidability Theorem for I
✍
Vesa Halava; Tero Harju
📂
Article
📅
2007
🏛
Springer
🌐
English
⚖ 298 KB