Pages that link to "Item:Q5716866"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5716866):
Displaying 7 items.
- Rule formats for determinism and idempotence (Q433348) (← links)
- Duplication of constants in process algebra (Q864505) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Lifting non-finite axiomatizability results to extensions of process algebras (Q969643) (← links)
- A conservative look at operational semantics with variable binding (Q1273877) (← links)
- A congruence rule format with universal quantification (Q2871833) (← links)
- (Q3835834) (← links)