Article,

Normalization properties for Shallow TRS and Innermost Rewriting.

.
Appl. Algebra Eng. Commun. Comput., 21 (2): 109-129 (2010)

Meta data

Tags

Users

  • @dblp

Comments and Reviews