Dagstuhl Publications 2001

Advances in Plan-Based Control of Robotic Agents 2001

Automata, Logics, and Infinite Games 2001

Software Visualization 2001

Proof Theory in Computer Science 2001

Semantics in Databases 2001

maintained by Schloss Dagstuhl LZI at University of Trier