Finite logical specifications of effectively separable data models

DOI10.3103/S1066369X25700586MaRDI QIDQ6873611zbMATH OpenFDO

Authors N. Kh. Kasymov, Sarvar Kurbonmiratovich Zhavliev

Publication date 16 January 2026

Published in Russian Mathematics (Search for Journal in Brave)

zbMATH Keywords

many-sorted algebrafinite specificationeffectively separable numbering

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx) Model theory (03Cxx) Mathematical logic and foundations (03-XX)

This page was built for publication: Finite logical specifications of effectively separable data models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6873611)