Pages that link to "Item:Q5410484"
From MaRDI portal
The following pages link to Automated Verification of Relational While-Programs (Q5410484):
Displayed 8 items.
- Control of Condorcet voting: complexity and a relation-algebraic approach (Q319803) (← links)
- Cardinality of relations with applications (Q738869) (← links)
- Cryptomorphic topological structures: a computational, relation-algebraic approach (Q1633340) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- Solving quantifier-free first-order constraints over finite sets and binary relations (Q2303241) (← links)
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures (Q2347907) (← links)
- Using relation-algebraic means and tool support for investigating and computing bipartitions (Q2360655) (← links)
- Cardinality of relations and relational approximation algorithms (Q5963086) (← links)