Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by B. Pfitzmann
Cryptographically Sound Theorem Proving
Related publications
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
Theorem Proving in Higher Order Logics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modal Theorem Proving: An Equational Viewpoint
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Mechanical Theorem Proving in Tarski’s Geometry
SMTtoTPTP – A Converter for Theorem Proving Formats
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Theorem Proving in a Chat Environment
EasyChair Preprints
Formal Reasoning About Systems Biology Using Theorem Proving
PLoS ONE
Multidisciplinary
Tableau-Based Theorem Proving for Representation and Reasoning.
