Normalization of S-terms is decidable

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0052367 ◽

1998 ◽

pp. 138-150 ◽

Cited By ~ 3

Author(s):

Johannes Waldmann

Download Full-text