RUS  ENG
Full version
JOURNALS // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika // Archive
Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2005 Number 3, Pages 55–57 (Mi vmumm1169)
Short notes

Solutions to systems of equations in the first-order Shostak theories

S. P. Shlepakov


UDC: 510.53

Received: 14.04.2004



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026