Kombinatorische Spiele für baumähnliche Größe und Platz bei der Auflösung linearer Gleichungen

Die Arbeit untersucht Charakterisierungen der baumähnlichen Größe und des Platzes von Res(⊕)-Widerlegungen unter Verwendung kombinatorischer Spiele. Es wird eine Klasse von erweiterbaren Formeln eingeführt und Größen- und Platzschranken für diese Klasse bewiesen.