✦ LIBER ✦

Problem of identity transformations of nondeterministic program shcemes in algorithmic algebra systems

✍ Scribed by Yu. A. Yushchenko

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Identical transformations in algebras of

✍ Yu. A. Yushchenko 📂 Article 📅 1986 🏛 Springer US 🌐 English ⚖ 773 KB

Identical transformations in algebras of

✍ Yu. A. Yushchenko 📂 Article 📅 1987 🏛 Springer US 🌐 English ⚖ 564 KB

Solvability of equivalence problems in a

✍ P. M. Ivanov 📂 Article 📅 1984 🏛 Springer US 🌐 English ⚖ 452 KB

Implementation of the nielsen algorithm

✍ A. A. Letichevskii; S. L. Krivoi 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 362 KB

Implementation of some algorithms of com

✍ S. L. Krivoi 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 466 KB

RPD-algorithm for optimization of develo

✍ M. D. Godlevskii 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 476 KB