scientific article; zbMATH DE number 4007747

MaRDI QIDQ3758257zbMATH OpenFDO

Authors Dominique Snyers, André Thayse

Publication date 1986

zbMATH Keywords

theorem provinglogic programmingalgorithm synthesisprogram synthesisP-functionsSemantic deduction laws

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Recommendations

• From logic design to logic programming. Theorem proving techniques and P- functions
• scientific article; zbMATH DE number 3935002
• scientific article; zbMATH DE number 2065283
• 5th Conference on automated deduction, Les Arcs, France, July 8-11, 1980. Ed. by W. Bibel and R. Kowalski
• Logic production systems: Analysis and synthesis

Cited in

(5)

• From logic design to logic programming. Theorem proving techniques and P- functions
• Logic production systems: Analysis and synthesis
• scientific article; zbMATH DE number 4137742 (Why is no real title available?)
• Some results and experiments in programming techniques for propositional logic
• On equivalences of laws in elementary protothetics, I

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 Q3758257)