Sciweavers

2585 search results - page 71 / 517

» Automating Coherent Logic

25

CADE
2003
Springer

97views Logical Reasoning» more CADE 2003»

Monodic Temporal Resolution

14 years 10 months ago

Monodic Temporal Resolution

Download www.csc.liv.ac.uk

Anatoli Degtyarev, Michael Fisher, Boris Konev

claim paper

Read More »

24

CADE
2003
Springer

97views Logical Reasoning» more CADE 2003»

Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation

14 years 10 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 »

26

CADE
2003
Springer

112views Logical Reasoning» more CADE 2003»

TRP++2.0: A Temporal Resolution Prover

14 years 10 months ago

TRP++2.0: A Temporal Resolution Prover

Download www.csc.liv.ac.uk

Ullrich Hustadt, Boris Konev

claim paper

Read More »

28

CADE
2003
Springer

124views Logical Reasoning» more CADE 2003»

Equational Abstractions

14 years 10 months ago

Equational Abstractions

Download maude.cs.uiuc.edu

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

claim paper

Read More »

28

CADE
2003
Springer

139views Logical Reasoning» more CADE 2003»

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

14 years 10 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 »