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

English