Search Sciweavers | Sciweavers

3970 search results - page 72 / 794

» A Logic For Causal Reasoning

click to vote

CADE
2005
Springer

86views Logical Reasoning» more CADE 2005»

Proving Properties of Incremental Merkle Trees

14 years 8 months ago

Download www.jaist.ac.jp

Mizuhito Ogawa, Eiichi Horita, Satoshi Ono

claim paper

Read More »

click to vote

CADE
2005
Springer

100views Logical Reasoning» more CADE 2005»

On the Complexity of Equational Horn Clauses

14 years 8 months ago

Download www2.cs.tum.edu

Kumar Neeraj Verma, Helmut Seidl, Thomas Schwentic...

claim paper

Read More »

click to vote

CADE
2004
Springer

155views Logical Reasoning» more CADE 2004»

A Machine-Checked Formalization of the Generic Model and the Random Oracle Model

14 years 8 months ago

Download types2004.lri.fr

Gilles Barthe, Jan Cederquist, Sabrina Tarento

claim paper

Read More »

click to vote

CADE
2003
Springer

97views Logical Reasoning» more CADE 2003»

Monodic Temporal Resolution

14 years 8 months ago

Download www.csc.liv.ac.uk

Anatoli Degtyarev, Michael Fisher, Boris Konev

claim paper

Read More »

click to vote

CADE
2003
Springer

112views Logical Reasoning» more CADE 2003»

TRP++2.0: A Temporal Resolution Prover

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers