scientific article; zbMATH DE number 3982555

zbMATH Open0607.68071MaRDI QIDQ3746919FDOQ3746919

Authors: Matthias Baaz, Alexander Leitsch 

Publication date: 1985

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

Recommendations

• scientific article; zbMATH DE number 3959369
• scientific article; zbMATH DE number 19150
• scientific article; zbMATH DE number 3938594
• scientific article; zbMATH DE number 195157
• The problem of guaranteeing the existence of a complete set of reductions

zbMATH Keywords

splittinggoal reductionsubgoals

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (4)

• Complexity of resolution proofs and function introduction
• Title not available (Why is that?)
• The problem of guaranteeing the existence of a complete set of reductions
• Finding Reductions Automatically

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