@dblp

DPO rewriting and abstract semantics via opfibrations.

. SEGRAGRA, volume 2 of Electronic Notes in Theoretical Computer Science, page 3-10. Elsevier, (1995)

Links and resources

Tags