Search Sciweavers | Sciweavers

2585 search results - page 70 / 517

» Automating Coherent Logic

click to vote

CADE
2007
Springer

100views Logical Reasoning» more CADE 2007»

Efficient E-Matching for SMT Solvers

14 years 10 months ago

Download research.microsoft.com

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

claim paper

Read More »

click to vote

CADE
2006
Springer

164views Logical Reasoning» more CADE 2006»

The MathServe System for Semantic Web Reasoning Services

14 years 10 months ago

Download www.informatik.uni-bremen.de

Jürgen Zimmer, Serge Autexier

claim paper

Read More »

click to vote

CADE
2005
Springer

86views Logical Reasoning» more CADE 2005»

Proving Properties of Incremental Merkle Trees

14 years 10 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 10 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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers