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