On the Deduction Rule and the Number of Proof Lines - Sciweavers

53

click to vote

more LICS 1991 ...

math.ucsd.edu

Tweet