2018 for the individual papers
by the papers' authors. Copying permitted for private and academic purposes.
This volume is published and copyrighted by its editors.
Practical Aspects of Automated Reasoning
Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning
co-located with Federated Logic Conference 2018 (FLoC 2018)
Oxford, UK, July 19th, 2018.
Boris Konev, University of Liverpool, UK
Josef Urban, Czech Technical University in Prague, Czech Republic
Philipp Rümmer, Uppsala University, Sweden
Table of Contents
The proceedings volume can also be downloaded as a single ZIP file.
We offer a BibTeX file for citing papers of this workshop from LaTeX.
2018-08-14: submitted by Boris Konev, metadata incl. bibliographic data published under Creative Commons CC0
2018-08-14: published on CEUR-WS.org