The following pages link to REACH (Q13536):
Displayed 5 items.
- Control of safe ordinary Petri nets using unfolding (Q816699) (← links)
- Dyn-FO: A parallel, dynamic complexity class (Q1376403) (← links)
- (Q3635378) (← links)
- (Q4251544) (← links)
- Regular Subgraphs in Graphs and Rooted Graphs and Definability in Monadic Second - Order Logic (Q4333462) (← links)