scientific article; zbMATH DE number 1023017

zbMATH Open0870.68037MaRDI QIDQ4341024FDOQ4341024

Authors: Francis Alexandre, Khaled Bsaies 

Publication date: 16 June 1997

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

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

zbMATH Keywords

Horn clausesinitial specification

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Program development in computational logic. A decade of research advances in logic-based program development.
• A bridge between constructive logic and computer programming
• Magic templates: a spellbinding approach to logic programs
• 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 Q4341024)