scientific article; zbMATH DE number 3864542

zbMATH Open0543.68077MaRDI QIDQ3332286FDOQ3332286

Authors: Zh. S. Azimova, D. I. Sviridenko 

Publication date: 1981

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

Recommendations

• Logic and probabilistic systems
• scientific article; zbMATH DE number 3057872
• Proof theory for admissible rules
• scientific article; zbMATH DE number 4164801
• scientific article; zbMATH DE number 3959387

zbMATH Keywords

regularityproof complexityprovabilityadmissibility of inference rulescomputer aided problem solvingmeasures of proof validity

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Abstract data types; algebraic specification (68Q65) Intuitionistic mathematics (03F55)

Cited In (8)

• On some regularity condition
• Title not available (Why is that?)
• Title not available (Why is that?)
• A classical way forward for the regularity and normalization problems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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