scientific article; zbMATH DE number 5173934

zbMATH Open1121.03025MaRDI QIDQ5294172

Nicolas Peltier

Publication date: 24 July 2007

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

resolutionsharingpigeonhole problem

Mathematics Subject Classification ID

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

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Resolution calculus for the first order linear logic 👍 👎
• Formalization of the resolution calculus for first-order logic 👍 👎
• Formalization of the Resolution Calculus for First-Order Logic 👍 👎
• A Resolution Calculus for First-order Schemata 👍 👎
• A Resolution Calculus for Shortening Proofs 👍 👎
• A Type-Theoretic Approach to Resolution 👍 👎

This page was built for publication: