scientific article; zbMATH DE number 3382323

zbMATH Open0242.02038MaRDI QIDQ5652657FDOQ5652657

Authors: V. Eh. Itkin 

Publication date: 1972

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

Mathematics Subject Classification ID

Algorithms in computer science (68W99)

Cited In (3)

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

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)