Pages that link to "Item:Q4542239"
From MaRDI portal
The following pages link to Continuous Additive Algebras and Injective Simulations of Synchronization Trees (Q4542239):
Displaying 5 items.
- A connection between concurrency and language theory (Q265802) (← links)
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- A Mezei-Wright theorem for categorical algebras (Q1044831) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- (Q5014444) (← links)