Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Kryštof Hoder
Comparing Unification Algorithms in First-Order Theorem Proving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Theorem Proving in Higher Order Logics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cryptographically Sound Theorem Proving
Mechanical Theorem Proving in Tarski’s Geometry
Automated Theorem Proving in a Chat Environment
EasyChair Preprints
The Complexity of Theorem-Proving Procedures
Strong First Order Electroweak Phase Transition in Gauge-Higgs Unification at Finite Temperature
Physical Review D
Astronomy
Physics
Proof Simplification and Automated Theorem Proving
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
Modal Theorem Proving: An Equational Viewpoint
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
A Sturmian Theorem for First Order Partial Differential Equations
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics