1010 search results - page 2 / 202 » Logics for Contravariant Simulations |
RCC
2002
13 years 5 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...
AMAI
1998
Springer
13 years 5 months ago
1998
Springer
JERIC
2002
13 years 5 months ago
2002
ISMVL
2010
IEEE
13 years 4 months ago
2010
IEEE
ENTCS
2002
13 years 5 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...