scientific article; zbMATH DE number 4009854

zbMATH Open0622.68078MaRDI QIDQ3759964FDOQ3759964

Authors: Paul J. Voda 

Publication date: 1986

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

Recommendations

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

zbMATH Keywords

negationconservative extensionlogic programmingnon-deterministic Pascal model

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (5)

• A constructive view of PROLOG
• Title not available (Why is that?)
• Logic Programming
• Title not available (Why is that?)
• A list of arithmetical structures complete with respect to the first-order definability

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)