Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Isabelle/HOL
Publications
Mechanising Hall’s Theorem for Countable Graphs
Fabián Fernando Serrano Suárez
,
Mauricio Ayala-Rincón
and
Thaynara Arielly de Lima
EasyChair Preprint 10365
Efficient Formalization of Simplification Orders
René Thiemann
and
Akihisa Yamada
EasyChair Preprint 8639
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover
Anders Schlichtkrull
,
Jasmin Christian Blanchette
,
Dmitriy Traytel
and
Uwe Waldmann
EasyChair Preprint 396
Competitive Proving for Fun
Maximilian Paul Louis Haslbeck
and
Simon Wimmer
In
:
Selected Student Contributions and Workshop Papers of LuxLogAI 2018
Extending a Verified Simplex Algorithm
René Thiemann
In
:
LPAR-22 Workshop and Short Paper Proceedings
A Verified Efficient Implementation of the LLL Basis Reduction Algorithm
Ralph Bottesch
,
Max W. Haslbeck
and
René Thiemann
In
:
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Reasoning about Translation Lookaside Buffers
Hira Syeda
and
Gerwin Klein
In
:
LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
My Life with an Automatic Theorem Prover
Jasmin Christian Blanchette
In
:
Proceedings of the 1st and 2nd Vampire Workshops
Formal Replay of Translation Validation for Highly Optimised C
Thomas Sewell
In
:
VPT 2014. Second International Workshop on Verification and Program Transformation
A Framework for Verified Depth-First Algorithms
René Neumann
In
:
ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation
Robust, Semi-Intelligible Isabelle Proofs from ATP Proofs
Steffen Juilf Smolka
and
Jasmin Christian Blanchette
In
:
PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
Redirecting Proofs by Contradiction
Jasmin Christian Blanchette
In
:
PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
Towards High-Assurance Multiprocessor Virtualisation
Michael von Tessin
In
:
VERIFY-2010. 6th International Verification Workshop
Copyright © 2012-2024 easychair.org. All rights reserved.