Titlebook: Algebraic Methodology and Software Technology; 6th International Co Michael Johnson Conference proceedings 1997 Springer-Verlag Berlin Heid

包裹

Head-tactics simplification,tic expression and provides a justification for these simplifications, based on a precise description of the way tactics operate. In particular, this paper introduces a class of . tactics that are especially suited for simplification. Most of these simplifications have been developed in an simplifie

多嘴

goodwill