RUS  ENG
Full version
JOURNALS // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika // Archive
Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1988 Number 1, Pages 84–86 (Mi vmumm2925)
Short notes

Multitrees. Model completeness and decidability

G. E. Puninskii


UDC: 510.67

Received: 29.07.1986



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026