TY - JOUR AU - Yu. V. Matiyasevich TI - A~connection between systems of words-and-lengths equations and Hilbert's tenth problem JO - Zapiski Nauchnykh Seminarov POMI PY - 1968 SP - 132 EP - 144 VL - 8 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/ZNSL_1968_8_a13/ LA - ru ID - ZNSL_1968_8_a13 ER -