882 search results - page 2 / 177 » A Taste of Rewrite Systems |
CORR
2010
Springer
13 years 22 days ago
2010
Springer
Abstract. Deduction systems and graph rewriting systems are compared within a common categorical framework. This leads to an improved deduction method in diagrammatic logics.
WADT
2004
Springer
13 years 11 months ago
2004
Springer
An automated technique to translate conditional rewrite rules into unconditional ones is presented, which is suitable to implement, or compile, conditional rewriting on top of much...
ENTCS
2008
13 years 5 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...
LOPSTR
2004
Springer
13 years 11 months ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...
ICIP
2002
IEEE
14 years 7 months ago
2002
IEEE
In this paper, we introduce a novel Trademark Application Assistant (TAST) that aims to speed up the process of a successful trademark application. The core of TAST is a web-brows...