arXiv
Open Access
1996
Type 4 is not computable
Japheth Wood
Abstrak
We extend a recent result of McKenzie, and show that it is an undecidable problem to determine if 4 appears in the typeset of a finitely generated, locally finite variety.
Topik & Kata Kunci
Penulis (1)
J
Japheth Wood
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 1996
- Bahasa
- en
- Sumber Database
- arXiv
- Akses
- Open Access ✓