Skip to main content

Constructing Tournament Representations: An Exercise in Pointwise Relational Programming

Ralf Hinze

Affiliation
Institut für Informatik III‚ Universität Bonn‚ Römerstraße 164‚ 53117 Bonn‚ Germany
Book Title
Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC '02)
Editor
Boiten‚ Eerke A. and Möller‚ Bernhard
Location
Dagstuhl‚ Germany
Month
jul
Pages
131–147
Publisher
Springer Berlin / Heidelberg
Series
Lecture Notes in Computer Science
Volume
2386
Year
2002