scientific article; zbMATH DE number 4145877

zbMATH Open0699.03012MaRDI QIDQ3476792FDOQ3476792

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

Publication date: 1987

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

• Datalog vs first-order logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)