Search Sciweavers | Sciweavers

28 search results - page 1 / 6

» cade 2005

click to vote

CADE
2005
Springer

126views Logical Reasoning» more CADE 2005»

Hierarchic Reasoning in Local Theory Extensions

13 years 10 months ago

Download www.mpi-inf.mpg.de

Viorica Sofronie-Stokkermans

claim paper

Read More »

click to vote

CADE
2005
Springer

102views Logical Reasoning» more CADE 2005»

System Description: Multi A Multi-strategy Proof Planner

13 years 10 months ago

Download www.activemath.org

Andreas Meier, Erica Melis

claim paper

Read More »

click to vote

CADE
2005
Springer

86views Logical Reasoning» more CADE 2005»

Proving Properties of Incremental Merkle Trees

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

Download www2.cs.tum.edu

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

claim paper

Read More »

click to vote

CADE
2005
Springer

101views Logical Reasoning» more CADE 2005»

The MathSAT 3 System

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers