Relating diagrams to logic

This publication has 6 references indexed in Scilit:

• Logical foundations for representing object-oriented systems
  Journal of Experimental & Theoretical Artificial Intelligence, 1993
• Multilevel hierarchical retrieval
  Knowledge-Based Systems, 1992
• F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
  Published by Association for Computing Machinery (ACM) ,1989
• The entity-relationship model—toward a unified view of data
  ACM Transactions on Database Systems, 1976
• The Existential Graphs of Charles S. Peirce
  Published by Walter de Gruyter GmbH ,1973
• Syntactic Structures
  Published by Walter de Gruyter GmbH ,1957