-
1
-
2
An algebraic framework for minimum spanning tree problems
Veröffentlicht in Theoretical computer science
VolltextArtikel -
3
-
4
-
5
-
6
-
7
An example of goal-directed, calculational proof
Veröffentlicht in Journal of functional programming
VolltextArtikel -
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
Determinism of multirelations
Veröffentlicht in Journal of logical and algebraic methods in programming
VolltextArtikel -
16
-
17
Algebras for correctness of sequential computations
Veröffentlicht in Science of computer programming
VolltextArtikel -
18
-
19
-
20