共 50 条
- [42] APPROXIMATE COMPLETENESS OF THE SYSTEM OF EQUIVALENT SCHEMA TRANSFORMATIONS. Programming and Computer Software (English Translation of Programmirovanie), 1982, 8 (03): : 107 - 112
- [44] Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation Programming and Computer Software, 2010, 36 : 125 - 137
- [47] COMPLETE SEQUENCES AND COMPLETE AUTOMATA NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (01): : A256 - A256
- [49] The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2010, 6031 : 392 - +