Sciweavers

Share
EUROCAST
2007
Springer

Compressing Propositional Proofs by Common Subproof Extraction

9 years 6 months ago
Compressing Propositional Proofs by Common Subproof Extraction
Carsten Sinz
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where EUROCAST
Authors Carsten Sinz
Comments (0)
books