> Detailanzeige

Hertling, Peter [VerfasserIn]; Selivanov, Victor [VerfasserIn]; Thomas, Wolfgang [VerfasserIn]; Wadge, William W. [VerfasserIn]; Wagner, Klaus [VerfasserIn] ; Peter Hertling and Victor Selivanov and Wolfgang Thomas and William W. Wadge and Klaus Wagner [MitwirkendeR]

08271 Abstracts Collection – Topological and Game-Theoretic Aspects of Infinite Computations

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: Elektronischer Konferenzbericht; E-Artikel; Sonstige Veröffentlichung
  • Titel: 08271 Abstracts Collection – Topological and Game-Theoretic Aspects of Infinite Computations
  • Beteiligte: Hertling, Peter [VerfasserIn]; Selivanov, Victor [VerfasserIn]; Thomas, Wolfgang [VerfasserIn]; Wadge, William W. [VerfasserIn]; Wagner, Klaus [VerfasserIn]
  • Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008
  • Sprache: Englisch
  • DOI: https://doi.org/10.4230/DagSemProc.08271.1
  • Schlagwörter: specification and verification ; Automata theory ; hierarchies ; infinite games ; reactive systems ; Wadge reducibility ; dataflow computation ; infinite computations ; topological complexity ; computability in analysis
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Beschreibung: From June 29, 2008, to July 4, 2008, the Dagstuhl Seminar 08271 ``Topological and Game-Theoretic Aspects of Infinite Computations'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, many participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
  • Zugangsstatus: Freier Zugang