Sciweavers

3776 search results - page 51 / 756

» Partition-Based Logical Reasoning

25

CADE
2004
Springer

155views Logical Reasoning» more CADE 2004»

A Machine-Checked Formalization of the Generic Model and the Random Oracle Model

14 years 10 months ago

A Machine-Checked Formalization of the Generic Model and the Random Oracle Model

Download types2004.lri.fr

Gilles Barthe, Jan Cederquist, Sabrina Tarento

claim paper

Read More »

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 »

27

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 51 / 756 Last » Next »