✦ LIBER ✦

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

✍ Scribed by M. A. Spivak

Publisher: Springer US
Year: 1973
Tongue: English
Weight: 402 KB
Volume: 6
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01073234

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formalization of the concept of multitap

Formalization of the concept of multitape automaton

✍ P. V. Gorshkov; K. V. Arkhangel'skii 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 536 KB

Structure of a monitoring experiment wit

Structure of a monitoring experiment with an automaton

✍ V. A. Kozlovskii 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 482 KB

The formal synthesis of an automaton by

The formal synthesis of an automaton by a microprogram. I

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

Some properties of the set of experiment

Some properties of the set of experiments of an automaton

✍ M. A. Spivak 📂 Article 📅 1969 🏛 Springer US 🌐 English ⚖ 578 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

Formal concepts for an integrated intern

Formal concepts for an integrated internal model of the UML

✍ Martin Große-Rhode 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 168 KB