Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by YVES AUFFRAY
Modal Theorem Proving: An Equational Viewpoint
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Related publications
Cryptographically Sound Theorem Proving
A Fully Equational Proof of Parikh's Theorem
RAIRO - Theoretical Informatics and Applications
Mathematics
Computer Science Applications
Software
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
Mechanical Theorem Proving in Tarski’s Geometry
A Modal Herbrand Theorem
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
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
