Sciweavers

Share
CADE
2003
Springer

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

10 years 6 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