Pages that link to "Item:Q4823141"

The following pages link to (Q4823141):

Displaying 4 items.

• Theory exploration powered by deductive synthesis (Q832255) (← links)
• Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
• An algebraic framework for minimum spanning tree problems (Q1786562) (← links)
• Verifying minimum spanning tree algorithms with Stone relation algebras (Q1994364) (← links)