Pages that link to "Item:Q3636841"
From MaRDI portal
The following pages link to Pomset Languages of Finite Step Transition Systems (Q3636841):
Displaying 5 items.
- (Q4807831) (← links)
- A CHARACTERIZATION OF PARIKH SETS OF ET0L LANGUAGES IN TERMS OF <font>P</font> SYSTEMS (Q5053737) (← links)
- Strictifying and taming directed paths in Higher Dimensional Automata (Q5156774) (← links)
- Synthesis and Analysis of Petri Nets from Causal Specifications (Q6487344) (← links)
- A Myhill-Nerode theorem for higher-dimensional automata (Q6535191) (← links)