scientific article; zbMATH DE number 1528718

zbMATH Open0951.68140MaRDI QIDQ4515274

V. K. Kabulov

Publication date: 13 November 2000

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

zbMATH Keywords

theorem provingmultiplicationconjunctionconsecutive deletion

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General topics in the theory of algorithms (68W01)

Related Items (2)

Easy multiplications. I: The realm of Kleene's theorem ⋮ Jump from Parallel to Sequential Proofs: Multiplicatives

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