scientific article; zbMATH DE number 3557240

zbMath0357.68060MaRDI QIDQ4133140

B. A. Trakhtenbrot

Publication date: 1975

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

Mathematics Subject Classification ID

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

Related Items (4)

Unnamed Item ⋮ Logic, logics, and logicism ⋮ Randomised algorithms ⋮ Optimal series-parallel trade-offs for reducing a function to its own graph

This page was built for publication: