1010 search results - page 2 / 202 » Logics for Contravariant Simulations |
112
click to vote
RCC
2002
14 years 11 months ago
2002
In recent years Arvind's Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specifi...
84
Voted
AMAI
1998
Springer
14 years 11 months ago
1998
Springer
JERIC
2002
14 years 11 months ago
2002
68
Voted
ISMVL
2010
IEEE
14 years 10 months ago
2010
IEEE
ENTCS
2002
14 years 11 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...