HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2023 easychair.org. All rights reserved.