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

Dieses Objekt wird bereitgestellt von:
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

Ähnliche Objekte (12)