Sciweavers

2585 search results - page 42 / 517

» Automating Coherent Logic

22

CADE
2002
Springer

144views Logical Reasoning» more CADE 2002»

System Description: GrAnDe 1.0

14 years 10 months ago

System Description: GrAnDe 1.0

Download www.cs.miami.edu

Stephan Schulz, Geoff Sutcliffe

claim paper

Read More »

23

CADE
2001
Springer

108views Logical Reasoning» more CADE 2001»

SET Cardholder Registration: The Secrecy Proofs

14 years 10 months ago

SET Cardholder Registration: The Secrecy Proofs

Download www.cl.cam.ac.uk

Lawrence C. Paulson

claim paper

Read More »

30

CADE
2009
Springer

148views Logical Reasoning» more CADE 2009»

A Refined Resolution Calculus for CTL

14 years 4 months ago

A Refined Resolution Calculus for CTL

Download www.csc.liv.ac.uk

Lan Zhang, Ullrich Hustadt, Clare Dixon

claim paper

Read More »

34

TIME
2009
IEEE

240views Automated Reasoning» more TIME 2009»

Simple Algorithm for Simple Timed Games

14 years 4 months ago

Simple Algorithm for Simple Timed Games

Download www.liafa.jussieu.fr

Yasmina Abdeddaïm, Eugene Asarin, Mihaela Sig...

claim paper

Read More »

27

TIME
2009
IEEE

206views Automated Reasoning» more TIME 2009»

On First-Order Query Rewriting for Incomplete Database Histories

14 years 4 months ago

On First-Order Query Rewriting for Incomplete Database Histories

Download conferenze.dei.polimi.it

Véronique Bruyère, Alexandre Decan, ...

claim paper

Read More »

« Prev « First page 42 / 517 Last » Next »