Sciweavers

3776 search results - page 15 / 756

» Partition-Based Logical Reasoning

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 »

22

CADE
2009
Springer

148views Logical Reasoning» more CADE 2009»

A Refined Resolution Calculus for CTL

14 years 2 months ago

A Refined Resolution Calculus for CTL

Download www.csc.liv.ac.uk

Lan Zhang, Ullrich Hustadt, Clare Dixon

claim paper

Read More »

23

TIME
2009
IEEE

240views Automated Reasoning» more TIME 2009»

Simple Algorithm for Simple Timed Games

14 years 2 months ago

Simple Algorithm for Simple Timed Games

Download www.liafa.jussieu.fr

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

claim paper

Read More »

22

TIME
2009
IEEE

206views Automated Reasoning» more TIME 2009»

On First-Order Query Rewriting for Incomplete Database Histories

14 years 2 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 »

24

TIME
2007
IEEE

151views Automated Reasoning» more TIME 2007»

Automated Planning in Temporal Domains: Some Recent Advances and Current Research Topics

14 years 1 months ago

Automated Planning in Temporal Domains: Some Recent Advances and Current Research Topics

Download www.ing.unibs.it

Alfonso Gerevini

claim paper

Read More »

« Prev « First page 15 / 756 Last » Next »