scientific article; zbMATH DE number 4033135

MaRDI QIDQ3773392zbMATH OpenFDO

Authors

Publication date 1986

zbMATH Keywords

and/or schemeHorn clauseslogic program

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) General topics in the theory of software (68N01) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Concurrent program schemes and their logics
• Transformations of logic programs
• Transformations of logic programs
• Publication:3030254
• scientific article; zbMATH DE number 4028939

Cited in

(1)

• scientific article; zbMATH DE number 2227400 (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 Q3773392)