Pages that link to "Item:Q5055833"
From MaRDI portal
The following pages link to Relating two categorical models of term rewriting (Q5055833):
Displaying 6 items.
- A causal semantics for CCS via rewriting logic (Q1606128) (← links)
- Relating conflict-free stable transition and event models via redex families (Q1608893) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax. (Q1853456) (← links)
- Tile formats for located and mobile systems. (Q1854326) (← links)
