Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by I. Gnaedig
ELIOS-OBJ Theorem Proving in a Specification Language
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Integrating Model Checking and Theorem Proving in a Reflective Functional Language
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Theorem Proving in a Chat Environment
EasyChair Preprints
Cryptographically Sound Theorem Proving
Theorem Proving in Higher Order Logics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
SMTtoTPTP – A Converter for Theorem Proving Formats
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mechanical Theorem Proving in Tarski’s Geometry
The Complexity of Theorem-Proving Procedures
Proof Simplification and Automated Theorem Proving
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
Comparing Unification Algorithms in First-Order Theorem Proving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science