Inproceedings,

DPO rewriting and abstract semantics via opfibrations.

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

Meta data

Tags

Users

  • @dblp

Comments and Reviews