Dagstuhl Seminar Proceedings 08271

Topological and Game-Theoretic Aspects of Infinite Computations

P. Hertling, V. Selivanov, W. Thomas, W. W. Wadge, K. Wagner (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 08271, 29.06. - 04.07.2008
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Finkel, Olivier
  • Galanaki, Chrysida
  • Hertling, Peter
  • Kountouriotis, Vassilis
  • Lecomte, Dominique
  • Mancilla, Blanca
  • Nomikos, Christos
  • Plaice, John
  • Rondogiannis, Panos
  • Selivanov, Victor
  • Thomas, Wolfgang
  • Wadge, William W.
  • Wagner, Klaus

  •   
    08271 Abstracts Collection -- Topological and Game-Theoretic Aspects of Infinite Computations
    Authors: Hertling, Peter ; Selivanov, Victor ; Thomas, Wolfgang ; Wadge, William W. ; Wagner, Klaus

    Abstract | Document (227 KB) | BibTeX

    08271 Executive Summary -- Topological and Game-Theoretic Aspects of Infinite Computations
    Authors: Hertling, Peter ; Selivanov, Victor ; Thomas, Wolfgang ; Wadge, William W. ; Wagner, Klaus

    Abstract | Document (106 KB) | BibTeX

    Cartesian Programming: The TransLucid Programming Language
    Authors: Plaice, John ; Mancilla, Blanca

    Abstract | Document (214 KB) | BibTeX

    Declarative Synchronous Multithreaded Programming
    Authors: Mancilla, Blanca ; Plaice, John

    Abstract | Document (175 KB) | BibTeX

    General Logic Programs as Infinite Games
    Authors: Galanaki, Chrysida ; Rondogiannis, Panos ; Wadge, William W.

    Abstract | Document (209 KB) | BibTeX

    On the Semantic Approaches to Boolean Grammars
    Authors: Kountouriotis, Vassilis ; Nomikos, Christos ; Rondogiannis, Panos

    Abstract | Document (231 KB) | BibTeX

    Topological Complexity of omega-Powers: Extended Abstract
    Authors: Finkel, Olivier ; Lecomte, Dominique

    Abstract | Document (212 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI