Document models
From MaRDI portal
Publication:1709112
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
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)
Uses Software
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)