Search Sciweavers | Sciweavers

3891 search results - page 127 / 779

» A logic for strategic reasoning

147

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

Download users.info.unicaen.fr

Àngel J. Gil, Bruno Zanuttini, Gernot Salze...

claim paper

Read More »

133

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 »

147

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 »

147

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 »

157

click to vote

TIME
2009
IEEE

220views Automated Reasoning» more TIME 2009»

On the Expressivity of RoCTL*

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers