Titlebook: Rewriting Techniques and Applications; 4th International Co Ronald V. Book Conference proceedings 1991 Springer-Verlag Berlin Heidelberg 19

頭盔

弓箭

Program transformation and rewriting,ignature and a set of equations. A term can be computed by rewriting. Transformations come from applying a partial unfailing completion procedure to the original set of equations augmented by inductive theorems and a definition of a new function symbol following diverse heuristics. Moreover, the sys