Pages that link to "Item:Q5096397"
From MaRDI portal
The following pages link to CPO models for infinite term rewriting (Q5096397):
Displayed 6 items.
- A causal semantics for CCS via rewriting logic (Q1606128) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Term-Graph Rewriting Via Explicit Paths (Q3522007) (← links)
- Categorical rewriting of term-like structures (Q4923533) (← links)
- Relating two categorical models of term rewriting (Q5055833) (← links)
- Rewriting logic as a semantic framework for concurrency: a progress report (Q6104381) (← links)