Sciweavers

25 search results - page 1 / 5
» cade 2004
Sort
View
CADE
2004
Springer
15 years 10 months ago
A Superposition View on Nelson-Oppen
Thomas Hillenbrand
CADE
2004
Springer
15 years 10 months ago
A Machine-Checked Formalization of the Generic Model and the Random Oracle Model
Gilles Barthe, Jan Cederquist, Sabrina Tarento
72
Voted
CADE
2004
Springer
15 years 10 months ago
The CADE ATP System Competition
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first-order Automated Theorem Proving systems. CASC-18 was the seventh competition in the CASC se...
Geoff Sutcliffe, Christian B. Suttner