Podlovchenko, R. I. On the polynomial complexity of the equivalence checking problem in algebraic models of programs. (English. Russian original) Zbl 1290.68036 Cybern. Syst. Anal. 48, No. 5, 653-659 (2012); translation from Kibern. Sist. Anal. 2012, No. 5, 17-24 (2012). MSC: 68N30 68Q70 PDF BibTeX XML Cite \textit{R. I. Podlovchenko}, Cybern. Syst. Anal. 48, No. 5, 653--659 (2012; Zbl 1290.68036); translation from Kibern. Sist. Anal. 2012, No. 5, 17--24 (2012) Full Text: DOI
Podlovchenko, R. I. Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation. (English. Russian original) Zbl 1251.68079 Program. Comput. Softw. 36, No. 3, 125-137 (2010); translation from Programmirovanie 36, No. 3 (2010). MSC: 68N30 68N99 68Q45 PDF BibTeX XML Full Text: DOI
Naudin, Patrice Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes. (Comparison and equivalence of semantics for non-deterministic program schemes). (French) Zbl 0635.68005 RAIRO, Inf. Théor. Appl. 21, 59-91 (1987). MSC: 68Q60 PDF BibTeX XML Cite \textit{P. Naudin}, RAIRO, Inform. Théor. Appl. 21, 59--91 (1987; Zbl 0635.68005) Full Text: DOI EuDML
Sabelfeld, V. K. Tree equivalence of linear recursive schemata is polynomial-time decidable. (English) Zbl 0479.68052 Inf. Process. Lett. 13, 147-153 (1981). MSC: 68Q25 68Q60 03B25 68Q05 PDF BibTeX XML Cite \textit{V. K. Sabelfeld}, Inf. Process. Lett. 13, 147--153 (1981; Zbl 0479.68052) Full Text: DOI
Hunt, H. B. III; Constable, R. L.; Sahni, S. On the computational complexity of program scheme equivalence. (English) Zbl 0447.68038 SIAM J. Comput. 9, 396-416 (1980). MSC: 68Q25 68Q60 PDF BibTeX XML Cite \textit{H. B. Hunt III} et al., SIAM J. Comput. 9, 396--416 (1980; Zbl 0447.68038) Full Text: DOI
Sabelfeld, V. K. The logic-termal equivalence is polynomial-time decidable. (English) Zbl 0443.68032 Inf. Process. Lett. 10, 57-62 (1980). MSC: 68Q25 68Q60 PDF BibTeX XML Cite \textit{V. K. Sabelfeld}, Inf. Process. Lett. 10, 57--62 (1980; Zbl 0443.68032) Full Text: DOI
Buda, A. Generalized \({}^{1,5}\) sequential machine maps. (English) Zbl 0394.68042 Inf. Process. Lett. 8, 38-40 (1979). MSC: 68Q45 05C05 PDF BibTeX XML Cite \textit{A. Buda}, Inf. Process. Lett. 8, 38--40 (1979; Zbl 0394.68042) Full Text: DOI