Pages that link to "Item:Q1193888"
From MaRDI portal
The following pages link to A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization (Q1193888):
Displaying 7 items.
- The equational logic of fixed points (Q1391734) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- GS·Λ Theories (Q2842817) (← links)
- On GS-Monoidal Theories for Graphs with Nesting (Q3059707) (← links)
- Traced Premonoidal Categories (Q4460686) (← links)
- Categorical rewriting of term-like structures (Q4923533) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)
