86
Voted
ENTCS
2008
15 years 21 days 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...
93
Voted
CORR
2010
Springer
15 years 22 days ago
2010
Springer
A partial monoid P is a set with a partial multiplication
117
Voted
RTA
2004
Springer
15 years 6 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...