![](https://media.springernature.com/w90/springer-static/cover/journal/224/46/1.jpg?as=webp)
Volume 46, Issue 1
January 2010Special Issue: Symposium on Computer Science, Guest Editors: Sergei Artemov, Volker Diekert and Dima Grigoriev
9 articles in this issue
Special Issue: Symposium on Computer Science, Guest Editors: Sergei Artemov, Volker Diekert and Dima Grigoriev