Logical Methods in Computer Science, Special Issue 4

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics