✦ LIBER ✦

Formalization of the concept of multitape automaton

✍ Scribed by P. V. Gorshkov; K. V. Arkhangel'skii

Publisher: Springer US
Year: 1988
Tongue: English
Weight: 536 KB
Volume: 23
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01070235

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the formalization of the concept of a

On the formalization of the concept of an experiment with an automaton

✍ M. A. Spivak 📂 Article 📅 1973 🏛 Springer US 🌐 English ⚖ 402 KB

On the concept of formalization and part

On the concept of formalization and partially ordered quantifiers

✍ Bengt-Olof Qvarnström 📂 Article 📅 1977 🏛 Springer Netherlands 🌐 English ⚖ 833 KB

ON THE CONCEPT OF FORMALIZATION AND PARTIALLY ORDERED QUANTIFIERS.\* \* I would like to thank an anonymous referee for very useful comments on an earlier version of this paper and Krister Segerberg, Erik Stenius and in particular Risto Hilpinen and Patrick Sibelius for discussing the topic of this p

On formal synthesis of a grouped automat

On formal synthesis of a grouped automaton

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

The concept of formal justice

✍ Craig L. Carr 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 967 KB

The concept of force and the formalizati

The concept of force and the formalization of non-quantum-mechanical theories

✍ Nicholas Ionescu-Pallas; Liviu Sofonea 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 394 KB

Formal synthesis of an automaton by micr

Formal synthesis of an automaton by microprogram. II

✍ A. T. Mishchenko 📂 Article 📅 1968 🏛 Springer US 🌐 English ⚖ 650 KB