Multi-layer logic — A predicate logic including data structure as knowledge representation language

This publication has 13 references indexed in Scilit:

• Logic and Databases: A Deductive Approach
  ACM Computing Surveys, 1984
• Knowledge-based man-machine systems
  Automatica, 1983
• Relational Database Systems
  Published by Springer Nature ,1983
• Advances in Data Base Theory
  Published by Springer Nature ,1981
• Types, algebras and modeling
  Published by Association for Computing Machinery (ACM) ,1980
• Abstraction in databases
  Published by Association for Computing Machinery (ACM) ,1980
• Data abstractions for database systems
  ACM Transactions on Database Systems, 1979
• Logic and Data Bases
  Published by Springer Nature ,1978
• The entity-relationship model—toward a unified view of data
  ACM Transactions on Database Systems, 1976
• MATHEMATICAL AND PRACTICAL POSSIBILITIES OF UNISURF
  Published by Elsevier ,1974