From logic design to logic programming. Theorem proving techniques and P- functions

MaRDI QIDQ1099944zbMATH OpenFDO

Authors Dominique Snyers, André Thayse

Publication date 1987

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

implementationspecificationtheorem provinglogic programmingnatural language understandingprogram designP-functionstext editors

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60) Natural language processing (68T50)

Recommendations

• scientific article; zbMATH DE number 4007747
• scientific article; zbMATH DE number 3945331
• Derivation of logic programs by functional methods
• scientific article; zbMATH DE number 3965414
• scientific article; zbMATH DE number 1848368

Cited in

(3)

• scientific article; zbMATH DE number 4062639 (Why is no real title available?)
• Some results and experiments in programming techniques for propositional logic
• scientific article; zbMATH DE number 4007747 (Why is no real title available?)

This page was built for publication: From logic design to logic programming. Theorem proving techniques and P- functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1099944)