87
Voted
ENTCS
2002
14 years 10 months ago
2002
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
60
Voted
CI
2007
14 years 11 months ago
2007
Abstract. We present a general discussion of what constitutes a marketoriented approach to optimization. We demonstrate how a general framework can be used to conceptually improve ...
86
Voted
CORR
2006
Springer
14 years 11 months ago
2006
Springer
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...