Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem

• Authors:

• Rudolf Berghammer;Thorsten Hoffmann

• Affiliations:

• -;-

• Venue:
• Science of Computer Programming
• Year:
• 2000