Open AccessOn decidability of list structures
Author(s) -
S. A. Aleksandrova,
N. A. Bazhenov
Publication year - 2018
Publication title -
sibirskij matematičeskij žurnal
Language(s) - English
Resource type - Journals
eISSN - 2310-001X
pISSN - 0037-4474
DOI - 10.33048/smzh.2019.60.302
Subject(s) - decidability , mathematics , computer science , programming language , discrete mathematics