Ratings by cpressey of Term Rewriting works

Advanced Topics in Term Rewriting

• rating: 2

.

Reflection in Rewriting Logic

• rating: 0

.

Combinatory Reduction Systems

• rating: 2

.

Matching Power

• rating: 1

.

The Rho Cube

• rating: TODO

.

A Constructive Semantics for Rewriting Logic

• rating: 2

.

Rewriting Logic as a Logical and Semantic Framework

• rating: 0

.