Simulating Dependency Pairs by Semantic Labeling

Teppei Saito, Nao Hirokawa. Simulating Dependency Pairs by Semantic Labeling. In Jakob Rehof, editor, 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, July 10-13, 2024, Tallinn, Estonia. Volume 299 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]

Abstract

Abstract is missing.