Snapshot Generation in a Constructive Object-Oriented Modeling Language
From MaRDI portal
Publication:5504600
Cites work
- scientific article; zbMATH DE number 1566503 (Why is no real title available?)
- scientific article; zbMATH DE number 517385 (Why is no real title available?)
- A constructivism based on classical truth
- From constructivism to computer science
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Logic Programming and Nonmonotonic Reasoning
- Logic programming and nonmonotonic reasoning. Proceedings of the 4th international conference, LPNMR '97, held in Dagstuhl, Germany, July 28--31, 1997
- The DLV system for knowledge representation and reasoning
- Tools and Algorithms for the Construction and Analysis of Systems
- Well-founded and stationary models of logic programs
This page was built for publication: Snapshot Generation in a Constructive Object-Oriented Modeling Language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504600)