Author:Christian Fermüller

Publications
LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz and Christian Fermüller (editors) EPiC Series in Computing, volume 13