Sciweavers

ENTCS
2002
111views more  ENTCS 2002»
14 years 8 days ago
Comparing Meseguer's Rewriting Logic with the Logic CRWL
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...
Miguel Palomino Tarjuelo
CI
2007
45views more  CI 2007»
14 years 14 days ago
Market-Based Approaches to Optimization
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 ...
Maria Karlsson, Fredrik Ygge, Arne Andersson
CORR
2006
Springer
117views Education» more  CORR 2006»
14 years 15 days ago
A comparison between two logical formalisms for rewriting
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...
Miguel Palomino