scientific article; zbMATH DE number 3557240

MaRDI QIDQ4133140zbMATH OpenFDO

Authors B. A. Trakhtenbrot

Publication date 1975

Mathematics Subject Classification ID

Classical propositional logic (03B05) Analysis of algorithms and problem complexity (68Q25)

Cited in

(4)

• Randomised algorithms
• Optimal series-parallel trade-offs for reducing a function to its own graph
• scientific article; zbMATH DE number 3644481 (Why is no real title available?)
• Logic, logics, and logicism

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