Sciweavers

2585 search results - page 71 / 517

» Automating Coherent Logic

96

CADE
2003
Springer

97views Logical Reasoning» more CADE 2003»

Monodic Temporal Resolution

16 years 3 months ago

Monodic Temporal Resolution

Download www.csc.liv.ac.uk

Anatoli Degtyarev, Michael Fisher, Boris Konev

claim paper

Read More »

90

CADE
2003
Springer

97views Logical Reasoning» more CADE 2003»

Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation

16 years 3 months ago

Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation

Download hal.archives-ouvertes.fr

Harald Ganzinger, Jürgen Stuber

claim paper

Read More »

114

CADE
2003
Springer

112views Logical Reasoning» more CADE 2003»

TRP++2.0: A Temporal Resolution Prover

16 years 3 months ago

TRP++2.0: A Temporal Resolution Prover

Download www.csc.liv.ac.uk

Ullrich Hustadt, Boris Konev

claim paper

Read More »

114

CADE
2003
Springer

124views Logical Reasoning» more CADE 2003»

Equational Abstractions

16 years 3 months ago

Equational Abstractions

Download maude.cs.uiuc.edu

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

claim paper

Read More »

118

CADE
2003
Springer

139views Logical Reasoning» more CADE 2003»

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

16 years 3 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 »

« Prev « First page 71 / 517 Last » Next »