Search Sciweavers | Sciweavers

3891 search results - page 62 / 779

» A logic for strategic reasoning

click to vote

CADE
2007
Springer

100views Logical Reasoning» more CADE 2007»

Efficient E-Matching for SMT Solvers

14 years 8 months ago

Download research.microsoft.com

Leonardo Mendonça de Moura, Nikolaj Bj&osla...

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers