Univ.-Prof. Dr. Aart Middeldorp   

Abstract Completion, Formalized

Nao Hirokawa, Aart Middeldorp, Christian Sternagel, and Sarah Winkler
Logical Methods in Computer Science 15(3), pp. 19:1 – 19:42, 2019

abstract   bibtex   pdf   doi:10.23638/LMCS-15(3:19)201