
Неразрешимость простого фрагмента позитивной теории с одной константой свободной полугруппы ранга 2
Author(s) -
Валерий Георгиевич Дурнев,
V. G. Durnev
Publication year - 2000
Publication title -
matematičeskie zametki
Language(s) - Russian
Resource type - Journals
eISSN - 2305-2880
pISSN - 0025-567X
DOI - 10.4213/mzm827
Subject(s) - computer science