Constructing tournament representations: An exercise in pointwise relational programming
Ralf Hinze
Details
| Book Title |
Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC 2002)‚ Dagstuhl‚ Germany‚ July 8−10‚ 2002 |
| Editor |
Boiten‚ Eerke A. and Möller‚ Bernhard |
| Month |
jul |
| Pages |
131–147 |
| Publisher |
Springer |
| Series |
LNCS |
| Volume |
2386 |
| Year |
2002 |
Links
Related pages
|
People |
|
|
Activities |