|
|
Constructing tournament representations: An exercise in pointwise relational programming
Hinze, Ralf infobook 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
BibTeX
related pages
|
|
|
|
