<--- Back to Details
First PageDocument Content
Formal methods / Logic in computer science / Metalogic / Automated theorem proving / Logic programming / Substitution / Postcondition / First-order logic / Parameter / Precondition / Well-formed formula / Model theory
Date: 2008-06-23 13:57:19
Formal methods
Logic in computer science
Metalogic
Automated theorem proving
Logic programming
Substitution
Postcondition
First-order logic
Parameter
Precondition
Well-formed formula
Model theory

Call by Contract for Cryptographic Protocols

Add to Reading List

Source URL: evenmere.org

Download Document from Source Website

File Size: 615,45 KB

Share Document on Facebook

Similar Documents

Differential equations / Differential calculus / Mathematics / Calculus / Ordinary differential equation / Linear differential equation / Equation / Partial differential equation / Delay differential equation

Lecture Notes on Virtual Substitution & Real Arithmetic

DocID: 1xUTv - View Document

Mathematical analysis / Logic / Theoretical computer science / Automated theorem proving / Logic programming / Conflict-driven clause learning / E / Calculus / Substitution / Exponential function

Towards Conflict-Driven Learning for Virtual Substitution SMT Workshop ˇ Marek Kosta (joint work K. Korovin and T. Sturm)

DocID: 1xUsN - View Document

LIVELIHOOD SUBSTITUTION: THE CASE OF THE LYARI EXPRESSWAY

DocID: 1vjHF - View Document

Hereditary Substitution for the λ∆-Calculus Harley Eades and Aaron Stump Computer Science CL&C 2012 Overview

DocID: 1vi0p - View Document

Matthieu Fontaine - L’échec de la généralisation existentielle et de la substitution des identiques chez Hintikka

DocID: 1vfiN - View Document