Sciweavers

3891 search results - page 63 / 779

» A logic for strategic reasoning

19

CADE
2003
Springer

112views Logical Reasoning» more CADE 2003»

TRP++2.0: A Temporal Resolution Prover

14 years 8 months ago

TRP++2.0: A Temporal Resolution Prover

Download www.csc.liv.ac.uk

Ullrich Hustadt, Boris Konev

claim paper

Read More »

25

CADE
2003
Springer

124views Logical Reasoning» more CADE 2003»

Equational Abstractions

14 years 8 months ago

Equational Abstractions

Download maude.cs.uiuc.edu

José Meseguer, Miguel Palomino, Narciso Mar...

claim paper

Read More »

20

CADE
2003
Springer

139views Logical Reasoning» more CADE 2003»

Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms

14 years 8 months ago

Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms

Download www.ii.uni.wroc.pl

Hans de Nivelle

claim paper

Read More »

25

CADE
2003
Springer

134views Logical Reasoning» more CADE 2003»

The CADE-19 ATP System Competition

14 years 8 months ago

The CADE-19 ATP System Competition

Download www.cs.miami.edu

Geoff Sutcliffe, Christian B. Suttner

claim paper

Read More »

20

TIME
2007
IEEE

90views Automated Reasoning» more TIME 2007»

On the Equivalence of Automaton-Based Representations of Time Granularities

14 years 2 months ago

On the Equivalence of Automaton-Based Representations of Time Granularities

Download users.dimi.uniud.it

Ugo Dal Lago, Angelo Montanari, Gabriele Puppis

claim paper

Read More »

« Prev « First page 63 / 779 Last » Next »