Infinite Runs in Abstract Completion

Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler. Infinite Runs in Abstract Completion. In Dale Miller, editor, 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK. Volume 84 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Abstract

Abstract is missing.