| ISSN 1868-8969 |
|
Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL Volume 12, CSL 2011, September 12–15, 2011, Bergen, Norway Marc Bezem (Ed.) |
|
22nd International Conference on Rewriting Techniques and Applications (RTA'11) Volume 10, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia Manfred Schmidt-Schauß (Ed.) |
|
28th International Symposium on Theoretical Aspects of Computer Science (STACS 2011) Volume 9, STACS 2011, March 10-12, 2011, Dortmund, Germany Thomas Schwentick and Christoph Dürr (Eds.) |
|
Technical Communications of the 26th International Conference on Logic Programming Volume 7, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK Manuel Hermenegildo and Torsten Schaub (Eds.) |
|
Proceedings of the 21st International Conference on Rewriting Techniques and Applications Volume 6, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK Christopher Lynch (Ed.) |
|
27th International Symposium on Theoretical Aspects of Computer Science Volume 5, STACS 2010, March 4-6, 2010, Nancy, France Jean-Yves Marion and Thomas Schwentick (Eds.) |
|
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science Volume 4, FSTTCS 2009, December 15-17, 2009, Kanpur, India Ravi Kannan and K. Narayan Kumar (Eds.) |
|
26th International Symposium on Theoretical Aspects of Computer Science Volume 3, STACS 2009, February 26-28, 2009, Freiburg, Germany Susanne Albers and Jean-Yves Marion (Eds.) |
|
25th International Symposium on Theoretical Aspects of Computer Science Volume 1, STACS 2008, February 21-23, 2008, Bordeaux, France Susanne Albers and Pascal Weil (Eds.) |