Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Christian Fermüller
Theorem Proving for Prenex Gödel Logic With Delta: Checking Validity and Unsatisfiability
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Potential Synergies of Theorem Proving and Model Checking for Software Product Lines
Automated Theorem Proving by Translation to Description Logic
EasyChair Preprints
DNA Implementation of Theorem Proving With Resolution Refutation in Propositional Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Integrating Model Checking and Theorem Proving in a Reflective Functional Language
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cryptographically Sound Theorem Proving
Tableau-Based Theorem Proving for Representation and Reasoning.
SMTtoTPTP – A Converter for Theorem Proving Formats
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proof Simplification and Automated Theorem Proving
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
