|
|
软件学报 1992
SEMIREGULAR TERM REWRITING SYSTEM AND ITS CONFLUENCE
|
Abstract:
In this paper, the symbolic measure is introduced, and semiregularity is defined, and the confluence of semiregular term rewriting system is proved.
