Results 231 to 239 of about 2,046,692 (239)
Some of the next articles are maybe not open access.

Informal Proof, Formal Proof, Formalism, and Fictionalism

openaire   +1 more source

Proof-Carrying Hardware: Runtime Formal Verification for Secure Dynamic Reconfiguration

2010
Stephanie Drzevitzky
exaly  

Examples of Formal Proofs About Data Compression

2018
Jacques Garrigue   +2 more
exaly  

BP: Formal Proofs, the Fine Print and Side Effects

2018
Paul van Oorschot, Toby Murray
exaly  

Making the Transition to Formal Proof

Educational Studies in Mathematics, 1994
exaly  

A Formal Proof of Dickson’s Lemma in ACL2

Lecture Notes in Computer Science, 2003
exaly  

Formal Security Proof of CMAC and Its Variants

2018
François Dupressoir   +2 more
exaly  

Formal Proofs

openaire   +1 more source

A Note on the Relation Between Formal and Informal Proof

Acta Analytica, 2010
exaly  
mathematics
fos: computer and information sciences
logic in computer science
logic in computer science cs.lo
theorem proving
formalization
16. peace & justice
theorem proving deduction, resolution, etc.
computer science - logic in computer science
previous   22  23  24  

Home - About - Disclaimer - Privacy