A canonization algorithm for pairs of program schemes with commuting operators

zbMath0973.68504MaRDI QIDQ5930884

R. I. Podlovchenko

Publication date: 24 July 2001

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

Technique of traces in solving the equivalence problem in algebraic program models

This page was built for publication: A canonization algorithm for pairs of program schemes with commuting operators