Granularity Analysis for Mathematical Proofs

Marvin R. G. Schiller. Granularity Analysis for Mathematical Proofs. topiCS, 5(2):251-269, 2013. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: