Pages that link to "Item:Q832013"

The following pages link to Accelerating the computation of dead and concurrent places using reductions (Q832013):

Displaying 2 items.

• Automated polyhedral abstraction proving (Q6535199) (← links)
• On the complexity of proving polyhedral reductions (Q6622144) (← links)