scientific article; zbMATH DE number 1023017

MaRDI QIDQ4341024zbMATH OpenFDO

Authors Francis Alexandre, Khaled Bsaies

Publication date 16 June 1997

zbMATH Keywords

Horn clausesinitial specification

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logic program synthesis from first-order logic specifications
• scientific article; zbMATH DE number 970703
• The transformational approach to program development
• scientific article; zbMATH DE number 440117

Cited in

(8)

• scientific article; zbMATH DE number 4043303 (Why is no real title available?)
• scientific article; zbMATH DE number 1926610 (Why is no real title available?)
• Magic templates: a spellbinding approach to logic programs
• A bridge between constructive logic and computer programming
• scientific article; zbMATH DE number 1407683 (Why is no real title available?)
• Program development in computational logic. A decade of research advances in logic-based program development.
• scientific article; zbMATH DE number 2012389 (Why is no real title available?)
• scientific article; zbMATH DE number 4106296 (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 Q4341024)