Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Fréderic Blanqui
From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-Order Decision Procedures
IFIP International Federation for Information Processing
Related publications
Strategic Maneuvering in Mathematical Proofs
Argumentation
Linguistics
Philosophy
Language
Formal Proofs for Theoretical Properties of Newton's Method
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
From Tests to Proofs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Minimum-Knowledge Interactive Proofs for Decision Problems
SIAM Journal on Computing
Mathematics
Computer Science
Formal Proofs of Code Generation and Verification Tools
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proofs for Free
Journal of Functional Programming
Software
Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proofs and Fundamentals: A First Course in Abstract Mathematics
Choice Reviews Online
Combining Unification and Rewriting in Proofs for Modal Logics With First-Order Undefinable Frames
