scientific article; zbMATH DE number 3382323

MaRDI QIDQ5652657zbMATH OpenFDO

Authors V. Eh. Itkin

Publication date 1972

Mathematics Subject Classification ID

Algorithms in computer science (68W99)

Cited in

(3)

• The logic-termal equivalence is polynomial-time decidable
• Äquivalente Transformationen für Flußdiagramme
• Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines

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