Superposition-based Decision Procedures for Minimal Models
89.90 EUR
Ein einflussreiches Buch, das die Verbindung zwischen Superpositionstheorie und Minimalmodellentscheidungen beleuchtet, praktische Beweisverfahren für feste Domänen vorstellt und theoretische Tiefe bietet.