Pages that link to "Item:Q5466538"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5466538):
Displaying 9 items.
- A theory of binding structures and applications to rewriting (Q685380) (← links)
- (Q3520325) (← links)
- Rewriting in Operads and PROPs (Q3549575) (← links)
- (Q4263170) (← links)
- (Q4808736) (← links)
- Pullback rewriting and applications (Q4923531) (← links)
- REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS (Q5249248) (← links)
- Extended term rewriting systems (Q5881265) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898168) (← links)