Cutting a Proof into Bite-Sized Chunks: Incrementally proving termination in higher-order term rewriting (Invited Talk).

Cynthia Kop

Browse the full FSCD paper archive.