Certifying the Weighted Path Order (Invited Talk).

Ren Thiemann, Jonas Schpf, Christian Sternagel, Akihisa Yamada

Browse the full FSCD paper archive.