Logical Methods in Computer Science, Special Issue 4

Selected Papers of "International Joint Conference on Automated Reasoning 2006" [IJCAR 2006]

maintained by Schloss Dagstuhl LZI at University of Trier