Document models
type: Item
instance of: scholarly article
title: Document models
zbMATH Open document ID: 1390.68613
author: A. A. Malykh
author: A. V. Mantsivoda
publication date: 2018-03-27T00:00:00Z
full work available at URL: http://mathizv.isu.ru/journal/downloadArticle
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 6853406
zbMATH Keywords: locally simple model
zbMATH Keywords: document model
zbMATH Keywords: semantic programming
describes a project that uses: VAMPIRE
MaRDI profile type: Publication
cites work: Logical architectures and the object oriented approach
cites work: Object theories over list superstructures
cites work: Q3783515
cites work: Q3745249
cites work: Q4938424
cites work: Q4955558
cites work: A Query Language for Logic Architectures
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Q3150300
published in: The Bulletin of Irkutsk State University. Series Mathematics
description: scientific article; zbMATH DE number 6853406