SPECIAL ISSUES ARCHIVE OF 2006
Selected Papers of "International Joint Conference on Automated Reasoning 2006" Editor: Shankar Natarajan
Selected Papers of the Conference ''Logic in Computer Science 2006''
Selected Papers of the Conference "Computer Science Logic 2006" Editors: Zoltan Esik, R. Ramanujam
Selected Papers of the Conference ''International Colloquium on Automata, Languages and Programming 2006'' Editors: Michele Bugliesi, Vladimiro Sassone