ENTCS
2008
13 years 4 months ago
2008
Length-two string rewriting systems are length preserving string rewriting systems that consist of length-two rules. This paper shows that both of termination and confluence for l...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
A partial monoid P is a set with a partial multiplication
RTA
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...