✦ LIBER ✦

The problem of estimating the length of a microprogram in a microprogram algebra

✍ Scribed by Yu. V. Kapitonova

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the specification of automata by mean

✍ A. T. Mishchenko 📂 Article 📅 1973 🏛 Springer US 🌐 English ⚖ 952 KB

A microprogram-based hardware implementa

✍ Luis A Merayo; Juan I Solana; Luisa Mola 📂 Article 📅 1991 🏛 Elsevier Science ⚖ 482 KB

The formal synthesis of an automaton by

✍ A. T. Mishchenko 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 645 KB

A survey of current work in microprogram

✍ Louise H. Jones 📂 Article 📅 1975 🏛 Elsevier Science ⚖ 444 KB

LOGE-MAT, a program for the synthesis of

✍ W Grass; G Biehl; S Hall 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 124 KB

A co-processor for unification in prolog

✍ Mario de Blasi; Anna Gentile 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 307 KB