Pages that link to "Item:Q3460631"
From MaRDI portal
The following pages link to Tool-Based Verification of a Relational Vertex Coloring Program (Q3460631):
Displayed 7 items.
- Cardinality of relations with applications (Q738869) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- Using relation-algebraic means and tool support for investigating and computing bipartitions (Q2360655) (← links)
- Cardinalities of Finite Relations in Coq (Q2829280) (← links)
- Algebraic Investigation of Connected Components (Q5283206) (← links)
- Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants (Q5283218) (← links)
- Cardinality of relations and relational approximation algorithms (Q5963086) (← links)