Arbeitspapier
On Bounded Exploration and Bounded Nondeterminism
This report consists of two separate parts, essentially two oversized footnotes to the article "Sequential Abstract State Machines Capture Sequential Algorithms" by Yuri Gurevich. In Chapter I, Yuri Gurevich and Tatiana Yavorskaya present and study a more abstract version of the bounded exploration postulate. In Chapter II, Tatiana Yavorskaya gives a complete form of the characterization, sketched in the original paper, of bounded-choice sequential algorithms.
- Sprache
-
Englisch
- Erschienen in
-
Series: TechReport, Microsoft Research ; No. 2006-07
- Klassifikation
-
Wirtschaft
- Thema
-
Bounded Nondeterminism
Bounded Exploration
- Ereignis
-
Geistige Schöpfung
- (wer)
-
Gurevich, Yuri
Yavorskaya, Tatiana
- Ereignis
-
Veröffentlichung
- (wer)
-
Microsoft Research
- (wo)
-
Redmond
- (wann)
-
2006-01
- Handle
- Letzte Aktualisierung
-
10.03.2025, 11:43 MEZ
Datenpartner
ZBW - Deutsche Zentralbibliothek für Wirtschaftswissenschaften - Leibniz-Informationszentrum Wirtschaft. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Arbeitspapier
Beteiligte
- Gurevich, Yuri
- Yavorskaya, Tatiana
- Microsoft Research
Entstanden
- 2006-01