Hans-Jörg Schurr

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 7

Top Topics

Mathematical Proofs

Cut Elimination

Top Venues

Publications

Hans-Jörg Schurr
Optimal Strategy Schedules for Everyone. PAAR@IJCAR (2022)
Pascal Fontaine, Hans-Jörg Schurr
Quantifier Simplification by Unification in SMT. FroCoS (2021)
Hans-Jörg Schurr, Mathias Fleury, Martin Desharnais
Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant. CADE (2021)
Hans-Jörg Schurr, Mathias Fleury, Martin Desharnais
Abstract: Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant. SMT (2021)
Hans-Jörg Schurr, Mathias Fleury, Haniel Barbosa, Pascal Fontaine
Alethe: Towards a Generic SMT Proof Format (extended abstract). PxTP (2021)
Mathias Fleury, Hans-Jörg Schurr
Reconstructing veriT Proofs in Isabelle/HOL. PxTP (2019)
Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller
Capability Discovery for Automated Reasoning Systems. IWIL@LPAR (2017)