The following pages link to (Q3673130):
Displaying 5 items.
- Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming (Q685465) (← links)
- Pushout-complements and basic concepts of grammars in toposes (Q757576) (← links)
- Amalgamation of graph transformations: a synchronization mechanism (Q1822505) (← links)
- Implementing term rewriting by jungle evaluation (Q3486867) (← links)
- Concurrent graph and term graph rewriting (Q6162098) (← links)