scientific article; zbMATH DE number 4145877

MaRDI QIDQ3476792zbMATH OpenFDO

Authors Juan José Moreno-Navarro, M. Rodríguez Artalejo

Publication date 1987

zbMATH Keywords

semanticslogic programming3-sorted structuresnonstandard programming logic

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1070624
• scientific article; zbMATH DE number 970703
• scientific article; zbMATH DE number 1980915
• Logic program synthesis from first-order logic specifications
• A progression semantics for first-order logic programs
• scientific article; zbMATH DE number 3274715
• scientific article; zbMATH DE number 7592011
• scientific article; zbMATH DE number 1028229
• scientific article; zbMATH DE number 1841825
• Publication:4729755

Cited in

(4)

• Datalog vs first-order logic
• scientific article; zbMATH DE number 1696787 (Why is no real title available?)
• scientific article; zbMATH DE number 4043305 (Why is no real title available?)
• scientific article; zbMATH DE number 51768 (Why is no real title available?)

This page was built for publication:

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