Document models

zbMATH Open1390.68613MaRDI QIDQ1709112FDOQ1709112

Authors: A. A. Malykh, A. V. Mantsivoda 

Publication date: 27 March 2018

Published in: The Bulletin of Irkutsk State University. Series Mathematics (Search for Journal in Brave)

Full work available at URL: http://mathizv.isu.ru/journal/downloadArticle?article=_8cf8408a0f40407fbae1b43dbd7d5062&lang=rus

Recommendations

• Locally simple models construction: methodology and practice
• Towards semantic document modelling of business processes
• On termination of transactions over semantic document models
• scientific article; zbMATH DE number 1873255
• scientific article; zbMATH DE number 3843189

zbMATH Keywords

semantic programmingdocument modellocally simple model

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• A Machine-Oriented Logic Based on the Resolution Principle
• Logical architectures and the object oriented approach
• Title not available (Why is that?)
• Title not available (Why is that?)
• A query language for logic architectures
• Title not available (Why is that?)
• Object theories over list superstructures
• Title not available (Why is that?)

Cited In (5)

• On the complexity of formulas in semantic programming
• Title not available (Why is that?)
• Locally simple models construction: methodology and practice
• Towards semantic document modelling of business processes
• On termination of transactions over semantic document models

Uses Software

• VAMPIRE

This page was built for publication: Document models

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