Dagstuhl Seminar Proceedings: Algorithmic-Logical Theory of Infinite Structures 2007

maintained by Schloss Dagstuhl LZI, founded at University of Trier