Dagstuhl Seminar Proceedings, Volume 8271,
-
Peter Hertling, Victor Selivanov, Wolfgang Thomas, William W. Wadge, and Klaus Wagner
08271 Abstracts Collection – Topological and Game-Theoretic Aspects of Infinite Computations
10.4230/DagSemProc.08271.1
-
Peter Hertling, Victor Selivanov, Wolfgang Thomas, William W. Wadge, and Klaus Wagner
08271 Executive Summary – Topological and Game-Theoretic Aspects of Infinite Computations
10.4230/DagSemProc.08271.2
-
John Plaice and Blanca Mancilla
Cartesian Programming: The TransLucid Programming Language
10.4230/DagSemProc.08271.3
-
Blanca Mancilla and John Plaice
Declarative Synchronous Multithreaded Programming
10.4230/DagSemProc.08271.4
-
Chrysida Galanaki, Panos Rondogiannis, and William W. Wadge
General Logic Programs as Infinite Games
10.4230/DagSemProc.08271.5
-
Vassilis Kountouriotis, Christos Nomikos, and Panos Rondogiannis
On the Semantic Approaches to Boolean Grammars
10.4230/DagSemProc.08271.6
-
Olivier Finkel and Dominique Lecomte
Topological Complexity of omega-Powers: Extended Abstract
10.4230/DagSemProc.08271.7