Pages that link to "Item:Q4715673"
From MaRDI portal
The following pages link to Axiomatizing permutation equivalence (Q4715673):
Displaying 10 items.
- Relating conflict-free stable transition and event models via redex families (Q1608893) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Tile formats for located and mobile systems. (Q1854326) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Permutative renamings in the extended Fraenkel-Mostowski set theory (Q2822991) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- (Q3764189) (← links)
- (Q3794165) (← links)
- Uniform rewriting based on permutations (Q4208597) (← links)
- (Q4222979) (← links)