Errata to, ``Deduction in non-Horn databases

zbMATH Open0647.68112MaRDI QIDQ1104782FDOQ1104782

Authors: Adnan Yahya, Lawrence Henschen 

Publication date: 1988

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

deductive databasesgeneralized closed-world assumptionnon-Horn databases

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Cited In (1)

• Erratum to: ``Extension of a decision procedure for a fragment of hybrid logic with binders

This page was built for publication: Errata to, ``Deduction in non-Horn databases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1104782)