A 2-categorical presentation of term graph rewriting
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 87-105
- https://doi.org/10.1007/bfb0026983
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Axiomatizing permutation equivalenceMathematical Structures in Computer Science, 1996
- Concurrent graph and term graph rewritingPublished by Springer Nature ,1996
- Relating two categorical models of term rewritingPublished by Springer Nature ,1995
- Semantics of weakening and contractionAnnals of Pure and Applied Logic, 1994
- On the adequacy of graph rewriting for simulating term rewritingACM Transactions on Programming Languages and Systems, 1994
- Hyperedge replacement jungle rewriting for term-rewriting systems and logic programmingTheoretical Computer Science, 1993
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- Doctrines in Categorical LogicPublished by Elsevier ,1977
- Categories for the Working MathematicianPublished by Springer Nature ,1971
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIESProceedings of the National Academy of Sciences, 1963