Termination proofs in an abstract setting (0)

by S Kahrs
Venue:Mathematical Structures in Computer Science