scientific article; zbMATH DE number 4007747

zbMATH Open0621.68053MaRDI QIDQ3758257FDOQ3758257

Authors: Dominique Snyers, André Thayse 

Publication date: 1986

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

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

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)

Cited In (5)

• From logic design to logic programming. Theorem proving techniques and P- functions
• Logic production systems: Analysis and synthesis
• Title not available (Why is that?)
• 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)