A. V. Mantsivoda

Available identifiers

zbMath Open mantsivoda.andrei-valerevichMaRDI QIDQ307751

List of research outcomes

Publication	Date of Publication	Type
On termination of transactions over semantic document models	2020-03-25	Paper
Towards semantic document modelling of business processes	2019-12-18	Paper
Locally simple models construction: methodology and practice	2018-10-10	Paper
Document models	2018-03-27	Paper
Embedding relational databases in object ontologies: implementation issues	2016-09-05	Paper
Object theories over list superstructures	2013-06-12	Paper
Databases as ontologies	2013-04-03	Paper
Object oriented description logic	2013-04-03	Paper
Object models and distributed knowledge systems	2013-04-03	Paper
Logical architectures and the object oriented approach	2012-05-21	Paper
Ontology, semantic metadata and semantic programming	2012-05-21	Paper
A Query Language for Logic Architectures	2010-02-02	Paper
Logic Programming in Knowledge Domains	2008-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q5476840	2006-07-18	Paper
\(M\)-calculus -- a sequent method for automatic theorem proving	1995-11-02	Paper
https://portal.mardi4nfdi.de/entity/Q4834482	1995-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4281595	1994-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4710914	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4729321	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3808065	1986-01-01	Paper

Research outcomes over time

This page was built for person: A. V. Mantsivoda