Sciweavers

28 search results - page 1 / 6
» cade 2005
Sort
View
CADE
2005
Springer
15 years 3 months ago
Hierarchic Reasoning in Local Theory Extensions
Viorica Sofronie-Stokkermans
CADE
2005
Springer
15 years 9 months ago
Proving Properties of Incremental Merkle Trees
Mizuhito Ogawa, Eiichi Horita, Satoshi Ono
CADE
2005
Springer
15 years 9 months ago
On the Complexity of Equational Horn Clauses
Kumar Neeraj Verma, Helmut Seidl, Thomas Schwentic...
CADE
2005
Springer
15 years 9 months ago
The MathSAT 3 System
Marco Bozzano, Roberto Bruttomesso, Alessandro Cim...