Pages that link to "Item:Q3591402"
From MaRDI portal
The following pages link to On the Axiomatizability of Priority (Q3591402):
Displayed 5 items.
- Lifting non-finite axiomatizability results to extensions of process algebras (Q969643) (← links)
- Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic? (Q979076) (← links)
- On the axiomatisability of priority. III: Priority strikes again (Q2193294) (← links)
- Priority and abstraction in process algebra (Q2381506) (← links)
- (Q5856402) (← links)