User loginNavigation |
Binary relations, endorelations and transitive closuresRelations are an important vehicle to write specifications. In this article In the second part we study endorelations i.e. binary relations where the type ... By hbrandl at 2012-10-18 14:24 | LtU Forum | previous forum topic | next forum topic | other blogs | 3232 reads
|
Browse archives
Active forum topics
|
Recent comments
20 weeks 3 days ago
24 weeks 4 days ago
26 weeks 2 days ago
26 weeks 2 days ago
29 weeks 25 min ago
33 weeks 4 days ago
33 weeks 4 days ago
34 weeks 11 hours ago
34 weeks 11 hours ago
36 weeks 6 days ago