Pages that link to "Item:Q1193880"
From MaRDI portal
The following pages link to The context-freeness of the languages associated with vector addition systems is decidable (Q1193880):
Displaying 7 items.
- Context-sensitive and context-free vectors of PD-coroutines languages (Q760792) (← links)
- Fine covers of a VAS language (Q1186433) (← links)
- Petri net algorithms in the theory of matrix grammars (Q1342504) (← links)
- A note on fine covers and iterable factors of VAS languages (Q1352084) (← links)
- A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness (Q2842102) (← links)
- Context-Freeness of Word-MIX Languages (Q5041269) (← links)
- (Q5111264) (← links)