Sciweavers

3891 search results - page 21 / 779

» A logic for strategic reasoning

21

CADE
2007
Springer

149views Logical Reasoning» more CADE 2007»

Fully Verified Java Card API Reference Implementation

14 years 8 months ago

Fully Verified Java Card API Reference Implementation

Download i12www.ira.uka.de

Wojciech Mostowski

claim paper

Read More »

30

CADE
2006
Springer

192views Logical Reasoning» more CADE 2006»

Formal Global Optimisation with Taylor Models

14 years 8 months ago

Formal Global Optimisation with Taylor Models

Download www.nianet.org

Roland Zumkeller

claim paper

Read More »

15

CADE
2004
Springer

123views Logical Reasoning» more CADE 2004»

A Superposition View on Nelson-Oppen

14 years 8 months ago

A Superposition View on Nelson-Oppen

Download lcs.ios.ac.cn

Thomas Hillenbrand

claim paper

Read More »

18

CADE
2002
Springer

144views Logical Reasoning» more CADE 2002»

System Description: GrAnDe 1.0

14 years 8 months ago

System Description: GrAnDe 1.0

Download www.cs.miami.edu

Stephan Schulz, Geoff Sutcliffe

claim paper

Read More »

17

CADE
2001
Springer

108views Logical Reasoning» more CADE 2001»

SET Cardholder Registration: The Secrecy Proofs

14 years 8 months ago

SET Cardholder Registration: The Secrecy Proofs

Download www.cl.cam.ac.uk

Lawrence C. Paulson

claim paper

Read More »

« Prev « First page 21 / 779 Last » Next »