René Thiemann: Certifying Termination Proofs: From Term Rewriting to SMT Solving and Back (FSCD A)
Channel: IJCAR-FSCD 2020
Date: 2020-07-11

Joint FSCD-IJCAR invited speaker.


Aired: 2020-02-01 11:30:00 CEST (UTC+2)