✦ LIBER ✦

Connection with logical-term equivalence of program schemes with one class of special problems of functional equivalence of discrete transformers

✍ Scribed by A. B. Godlevskii

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reducibility of program-scheme functiona

✍ A. B. Godlevskii; A. A. Letichevskii; S. K. Shukuryan 📂 Article 📅 1981 🏛 Springer US 🌐 English ⚖ 815 KB

Comparison of two-sided automata with re

✍ S. K. Shukuryan 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 699 KB

Some remarks in connection with a certai

✍ E. A. Gorin 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 505 KB