Left-Linear Rewriting in Adhesive Categories.

Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci

Browse the full CONCUR paper archive.