Search Sciweavers | Sciweavers

4573 search results - page 199 / 915

» Automated Reasoning

112

click to vote

CADE
2007
Springer

124views Logical Reasoning» more CADE 2007»

The KeY system 1.0 (Deduction Component)

16 years 6 months ago

Download www.steffen-schlager.de

Bernhard Beckert, Martin Giese, Reiner Hähnle...

claim paper

Read More »

148

click to vote

CADE
2006
Springer

163views Logical Reasoning» more CADE 2006»

Automatic Termination Proofs in the Dependency Pair Framework

16 years 6 months ago

Download verify.rwth-aachen.de

Jürgen Giesl, Peter Schneider-Kamp, Ren&eacut...

claim paper

Read More »

111

click to vote

CADE
2005
Springer

101views Logical Reasoning» more CADE 2005»

The MathSAT 3 System

16 years 6 months ago

Download lcs.ios.ac.cn

Marco Bozzano, Roberto Bruttomesso, Alessandro Cim...

claim paper

Read More »

147

click to vote

CADE
2005
Springer

117views Logical Reasoning» more CADE 2005»

Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures

16 years 6 months ago

Download www.cs.wisc.edu

Greta Yorsh, Neil Immerman, Shmuel Sagiv, Siddhart...

claim paper

Read More »

153

click to vote

CADE
2004
Springer

114views Logical Reasoning» more CADE 2004»

Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract

16 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers