scientific article; zbMATH DE number 5173934

zbMATH Open1121.03025MaRDI QIDQ5294172FDOQ5294172

Authors: Nicolas Peltier 

Publication date: 24 July 2007

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

Recommendations

• scientific article; zbMATH DE number 1301754
• scientific article; zbMATH DE number 43237
• A type-theoretic approach to resolution
• A Resolution Calculus for Shortening Proofs
• A resolution calculus for first-order schemata
• Formalization of the Resolution Calculus for First-Order Logic
• Formalization of the resolution calculus for first-order logic
• Resolution calculus for the first order linear logic
• scientific article; zbMATH DE number 4055570
• scientific article; zbMATH DE number 1324435

zbMATH Keywords

resolutionsharingpigeonhole problem

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20)

Cited In (4)

• Title not available (Why is that?)
• Resolution on formula-trees
• A resolution calculus for first-order schemata
• Automated Reasoning

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