2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
Morten Heine Sørensen
De Vrijer has presented a proof of the finite developments theorem which, in addition to showing that all developments are finite, gives an effective reduction strategy computing l…