We describe a parallel implementation of term rewriting for general left-linear term
rewriting systems. The program is written in the parallel object oriented language Pool2
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.