Finite Logical Specifications of Effectively Separable Data Models
N. R. KarimovaNational University of Uzbekistan, 100174, Tashkent, Republic of UzbekistanN. Kh. KasymovNational University of Uzbekistan, 100174, Tashkent, Republic of UzbekistanS. K. ZhavlievNational University of Uzbekistan, 100174, Tashkent, Republic of Uzbekistan
ABI
Аннотация
Data models with effectively separable algorithmic representations are considered. It is established that any such model has an enrichment, which is the unique model constructed from constants for a suitable proposal of first-order logic.
Ҳали таржима қилинмаган
Мавзулар
Идентификаторлар
Иқтибослар ва манбалар
0 та иқтибос21 та фойдаланилган манба
Кўрсаткичлар — AkademScholar · Тез орада