DECIDABILITY PROBLEMS OF EXTENDED THEORIES

From MaRDI portal
Publication:3872430

DOI10.1070/RM1978v033n02ABEH002304zbMath0434.03014OpenAlexW2013700668MaRDI QIDQ3872430

A. I. Kokorin, Aleksandr Georgievich Pinus

Publication date: 1978

Published in: Russian Mathematical Surveys (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/rm1978v033n02abeh002304




Related Items (17)







This page was built for publication: DECIDABILITY PROBLEMS OF EXTENDED THEORIES