scientific article; zbMATH DE number 4009854

MaRDI QIDQ3759964zbMATH OpenFDO

Authors Paul J. Voda

Publication date 1986

zbMATH Keywords

negationconservative extensionlogic programmingnon-deterministic Pascal model

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 65758
• scientific article; zbMATH DE number 25190
• Negation as inconsistency. I
• Logic Programming
• Publication:5750391

Cited in

(5)

• Logic Programming
• scientific article; zbMATH DE number 845588 (Why is no real title available?)
• A list of arithmetical structures complete with respect to the first-order definability
• scientific article; zbMATH DE number 2090546 (Why is no real title available?)
• A constructive view of PROLOG

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