Search Sciweavers | Sciweavers

3773 search results - page 88 / 755

» Logical Reasoning

131

click to vote

CADE
2004
Springer

133views Logical Reasoning» more CADE 2004»

TeMP: A Temporal Monodic Prover

16 years 6 months ago

Download www.csc.liv.ac.uk

Ullrich Hustadt, Boris Konev, Alexandre Riazanov, ...

claim paper

Read More »

144

click to vote

CADE
2003
Springer

132views Logical Reasoning» more CADE 2003»

How to Prove Inductive Theorems? QUODLIBET!

16 years 6 months ago

Download www.ags.uni-sb.de

Jürgen Avenhaus, Ulrich Kühler, Tobias S...

claim paper

Read More »

144

click to vote

CADE
2002
Springer

142views Logical Reasoning» more CADE 2002»

AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description

16 years 6 months ago

Download eprints.ecs.soton.ac.uk

Bernd Fischer 0002, Johann Schumann, Michael W. Wh...

claim paper

Read More »

156

click to vote

TIME
2009
IEEE

220views Automated Reasoning» more TIME 2009»

On the Expressivity of RoCTL*

16 years 1 months ago

Download www.irisa.fr

John Christopher McCabe-Dansted, Tim French, Mark ...

claim paper

Read More »

127

click to vote

CADE
1994
Springer

117views Logical Reasoning» more CADE 1994»

Proof Script Pragmatics in IMPS

15 years 10 months ago

Download web.cs.wpi.edu

This paper introduces the imps proof script mechanism and some practical methods for exploiting it.

William M. Farmer, Joshua D. Guttman, Mark E. Nade...

claim paper

Read More »

« Prev « First page 88 / 755 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers