Minimization problem for program schemes with commutative blocks

DOI10.1134/S0361768808040075MaRDI QIDQ840035zbMATH OpenOpenAlexFDO

Authors R. I. Podlovchenko

Publication date 4 September 2009

Published in Programming and Computer Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s0361768808040075

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites work

• Minimality and deadlockness of multitape automata

This page was built for publication: Minimization problem for program schemes with commutative blocks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q840035)