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

57

click to vote

more LICS 1991 ...

math.ucsd.edu

Tweet