Sciweavers

Share
CADE
2003
Springer

Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms

9 years 8 months ago
Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
Hans de Nivelle
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2003
Where CADE
Authors Hans de Nivelle
Comments (0)
books