IWC 2020: Safety and Completeness of Disambiguation corresponds to Termination ... (Eelco Visser)
Channel: IJCAR-FSCD 2020
Date: 2020-07-05

Talk 11


Full title: Safety and Completeness of Disambiguation corresponds to Termination and Confluence of Reordering