Model Theoretic Issues in Theoretical Computer Science, Part I: Relational Data Bases and Abstract Data Types

This publication has 41 references indexed in Scilit:

• Finitary quasi-varieties
  Journal of Pure and Applied Algebra, 1982
• On the power of nondeterminism in dynamic logic
  Published by Springer Nature ,1982
• Horn clauses and the fixpoint query hierarchy
  Published by Association for Computing Machinery (ACM) ,1982
• Embedded implicational dependencies and their inference problem
  Published by Association for Computing Machinery (ACM) ,1981
• The semantics of clear, a specification language
  Published by Springer Nature ,1980
• The entity-relationship model—toward a unified view of data
  ACM Transactions on Database Systems, 1976
• Axioms for abstract model theory
  Annals of Mathematical Logic, 1974
• The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
  Journal of the ACM, 1969
• An application of games to the completeness problem for formalized theories
  Fundamenta Mathematicae, 1960
• Zum Entscheidungsproblem der mathematischen Logik
  Mathematische Annalen, 1928