Sciweavers

Share
LPAR
2010
Springer

Atomic Cut Introduction by Resolution: Proof Structuring and Compression

9 years 7 months ago
Atomic Cut Introduction by Resolution: Proof Structuring and Compression
Bruno Woltzenlogel Paleo
Added 14 Feb 2011
Updated 14 Feb 2011
Type Journal
Year 2010
Where LPAR
Authors Bruno Woltzenlogel Paleo
Comments (0)
books