Publications
Export 1 results:
Author Title [ Type] Year Filters: First Letter Of Title is R and Author is Tsitovich, A. [Clear All Filters]
Resolution Proof Transformation for Compression and Interpolation,
, CoRR, Volume July 2013, (2013)