Publication:5652657
From MaRDI portal
zbMath0242.02038MaRDI QIDQ5652657
Publication date: 1972
68W99: Algorithms in computer science
Related Items
The logic-termal equivalence is polynomial-time decidable, Äquivalente Transformationen für Flußdiagramme