Using relation-algebraic means and tool support for investigating and computing bipartitions (Q2360655)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Using relation-algebraic means and tool support for investigating and computing bipartitions |
scientific article |
Statements
Using relation-algebraic means and tool support for investigating and computing bipartitions (English)
0 references
4 July 2017
0 references
Dedekind category
0 references
relation algebra
0 references
bipartition
0 references
relational axiom of choice
0 references
splitting
0 references
mechanised proofs
0 references
