Parallel Rewriting Systems on terms.

Karel Culk II, T. S. E. Maibaum

Browse the full ICALP paper archive.