Pages that link to "Item:Q2938050"
From MaRDI portal
The following pages link to Certifiably Sound Parallelizing Transformations (Q2938050):
Displaying 4 items.
- Testing parallel variable transformation (Q1294830) (← links)
- Translation validation of coloured Petri net models of programs on integers (Q2089749) (← links)
- Characterizing contrasimilarity through games, modal logic, and complexity (Q6614880) (← links)
- A game characterization for contrasimilarity (Q6643746) (← links)