RUS  ENG
Full version
JOURNALS // Uspekhi Matematicheskikh Nauk // Archive
Uspekhi Mat. Nauk, 1978 Volume 33, Issue 2(200), Pages 49–84 (Mi rm3390)
This article is cited in 9 papers

Decidability problems of extended theories

A. I. Kokorin, A. G. Pinus


UDC: 519.9

MSC: 11U05, 12L05, 03B25, 06Axx, 20K15

Received: 14.01.1977


 English version: Russian Mathematical Surveys, 1978, 33:2, 53–96

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024